Class Bddenum.make_db

class [[[> typ ], [> typdef ]]] make_db : Manager.t -> [[[> typ ] as 'a, [> typdef ] as 'b]] db