Manager.t -> [[> Bddvar.typ ], [> Bddvar.typdef ]] Bddvar.db