Class Formula.make_db

class make_db : Manager.t -> CondDD.db