Class Formula.make_db


class make_db : Manager.t -> CondDD.db