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