Mlsem_types.FieldCtx
type fvar = RVar.t * string
type t
val of_ty : RVarSet.t -> Ty.t -> t
val of_tys : RVarSet.t -> Ty.t list -> t
val decorrelate : t -> Ty.t -> Ty.t
val recombine : t -> Ty.t -> Ty.t
val recombine' : t -> Mlsem_types__.Tvar.Subst.t -> Mlsem_types__.Tvar.Subst.t
val fresh_vars : t -> RVarSet.t
val fvar_of_fresh_var : t -> RVar.t -> fvar option
val empty : t
val merge : t -> t -> t
val merge_many : t list -> t