module C : PARSABLE_CONSTtype term = TD.T.ttype lit = TD.Lit.ttype clause = TD.C.ttype name_ctx = (string, term) Stdlib.Hashtbl.tval create_ctx : unit -> name_ctxval lit_of_ast : ctx:name_ctx -> AST.literal -> litval clause_of_ast : ?ctx:name_ctx -> AST.clause -> clauseval clauses_of_ast : ?ctx:name_ctx -> AST.clause list -> clause listval parse_chan : Stdlib.in_channel -> [ `Ok of clause list | `Error of string ]val parse_file : string -> [ `Ok of clause list | `Error of string ]val parse_string : string -> [ `Ok of clause list | `Error of string ]val clause_of_string : string -> clauseParse a clause from a string, or fail. Useful shortcut to define properties of relations without building terms by hand.
val term_of_string : string -> term