sig type clause = Term.clause val to_clauses_from_string : string -> Read_tme.clause list val to_clauses_from_file : string -> Read_tme.clause list val to_clause : string -> Read_tme.clause end