Module FO.To_tptp

module To_tptp: sig .. end

Assume there are no types (other than `Unitype), no datatypes, no pattern match...

exception Error of string

val conv_form : FO.T.t -> FO_tptp.form

Raises Error if conversion failed

val conv_statement : (FO.T.t, FO.Ty.t) FO.statement -> FO_tptp.statement option

convert the statement. Some statements will just disappear (mostly, declarations).
Raises Error if conversion failed

val conv_problem : (FO.T.t, FO.Ty.t) FO.Problem.t -> FO_tptp.problem