Module Mlsem_common.Env

type t
val empty : t
val is_empty : t -> bool
val singleton : Variable.t -> Mlsem_types.TyScheme.t -> t
val construct : (Variable.t * Mlsem_types.TyScheme.t) list -> t
val replace : Variable.t -> Mlsem_types.TyScheme.t -> t -> t
val domain : t -> Variable.t list
val bindings : t -> (Variable.t * Mlsem_types.TyScheme.t) list
val mem : Variable.t -> t -> bool
val rm : Variable.t -> t -> t
val rms : Variable.t list -> t -> t
val restrict : Variable.t list -> t -> t
val filter : (Variable.t -> Mlsem_types.TyScheme.t -> bool) -> t -> t
val tvars : t -> Mlsem_types.MVarSet.t
val substitute : Mlsem_types.Subst.t -> t -> t
val equiv : t -> t -> bool
val leq : t -> t -> bool
val show : t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val pp_filtered : string list -> Stdlib.Format.formatter -> t -> unit