sig
  exception Error of string
  val conv_form : FO.T.t -> FO_tptp.form
  val conv_statement :
    (FO.T.t, FO.Ty.t) FO.statement -> FO_tptp.statement option
  val conv_problem : (FO.T.t, FO.Ty.t) FO.Problem.t -> FO_tptp.problem
end