sig type symbol = Symbol.symbol type clause = Term.clause val get_axioms : print_axioms:bool -> Problem.problem -> Equality.clause list end