Module TermMono.TransFO.ConvBack

module ConvBack: TermMono.OfFO(T1)

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