Class Bddvar.make_db

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

Create a new database. bddindex and bddincr initalized to 0 and 1.