Module Mlsem_types.TyScheme

type t
val mk : Mlsem_types__.Tvar.MVarSet.t -> GTy.t -> t
val mk_poly_except : Mlsem_types__.Tvar.MVarSet.t -> GTy.t -> t
val mk_mono : GTy.t -> t
val mk_poly : GTy.t -> t
val get : t -> Mlsem_types__.Tvar.MVarSet.t * GTy.t
val get_fresh : t -> Mlsem_types__.Tvar.MVarSet.t * GTy.t
val fv : t -> Mlsem_types__.Tvar.MVarSet.t
val substitute : Mlsem_types__.Tvar.Subst.t -> t -> t
val leq : t -> t -> bool
val equiv : t -> t -> bool
val bot_instance : t -> t
val top_instance : t -> t
val normalize : t -> t
val simplify : t -> t
val norm_and_simpl : t -> t
val pp : Stdlib.Format.formatter -> t -> unit
val pp' : Mlsem_types__.Tvar.Subst.t -> Stdlib.Format.formatter -> t -> unit
val pp_short : Stdlib.Format.formatter -> t -> unit