Module FO.Of_tptp

module Of_tptp: sig .. end

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