type term = Logic.T.ttype lit = Logic.Lit.ttype clause = Logic.C.tval create_ctx : unit -> name_ctxval term_of_ast : ctx:name_ctx -> TopDownAst.term -> termval lit_of_ast : ctx:name_ctx -> TopDownAst.literal -> litval clause_of_ast : ?ctx:name_ctx -> TopDownAst.clause -> clauseval clauses_of_ast : ?ctx:name_ctx -> TopDownAst.clause list -> clause listval parse_chan :
Pervasives.in_channel ->
[ `Error of string | `Ok of clause list ]val parse_file : string -> [ `Error of string | `Ok of clause list ]val parse_string : string -> [ `Error of string | `Ok of clause list ]val load_chan : Logic.DB.t -> Pervasives.in_channel -> boolval load_file : Logic.DB.t -> string -> boolval load_string : Logic.DB.t -> string -> bool