Module TPTP_model_ast.Conv

module Conv: sig .. end

val failf : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

val as_forall_ : TPTP_model_ast.term -> TPTP_model_ast.var * TPTP_model_ast.term

val open_forall : TPTP_model_ast.term -> TPTP_model_ast.var list * TPTP_model_ast.term

val as_or_ : TPTP_model_ast.term -> TPTP_model_ast.term list

val as_id_eqn_of_ : TPTP_model_ast.var -> TPTP_model_ast.term -> TPTP_model_ast.id

val as_ground_term_ : TPTP_model_ast.term -> TPTP_model_ast.id * TPTP_model_ast.term list

val as_eqn_ : TPTP_model_ast.term ->
       TPTP_model_ast.id *
       (TPTP_model_ast.var list * TPTP_model_ast.term list * TPTP_model_ast.term)

val as_atom_ : TPTP_model_ast.term ->
       TPTP_model_ast.id *
       (TPTP_model_ast.var list * TPTP_model_ast.term list * TPTP_model_ast.term)