sig
  val conv_ty : FO_tptp.ty -> FO.Ty.t
  val conv_term : FO_tptp.term -> FO.T.t
  val conv_form : FO_tptp.form -> FO.T.t
end