Functor TermMono.OfFO

module OfFO (T : TI.S) : sig .. end

module U: TI.Util(T)

type t = T.t 

val convert_ty : FO.Ty.t -> U.t_

val convert_top_ty : FO.Ty.t list * FO.Ty.t -> T.t

val convert_term : FO.T.t -> U.t_

val convert_model : (FO.T.t, FO.Ty.t) Model.t -> (U.t_, U.t_) Model.t