MVariable (mlsem-lang.Mlsem

type t = Mlsem_common.Variable.t

type kind =

val create : kind -> string option -> t

val refresh : kind -> t -> t

val is_mutable : Mlsem_common.Variable.t -> bool

val kind : Mlsem_common.Variable.t -> kind

val kind_equal : kind -> kind -> bool

val kind_leq : kind -> kind -> bool

val add_to_env : 
  Mlsem_common.Variable.t ->
  Mlsem_types.TyScheme.t ->
  Mlsem_common.Env.t ->
  Mlsem_common.Env.t

val ref_uninit : Mlsem_common.Variable.t -> Mlsem_types.TyScheme.t

val ref_cons : Mlsem_common.Variable.t -> Mlsem_types.TyScheme.t

val ref_get : Mlsem_common.Variable.t -> Mlsem_types.TyScheme.t

val ref_assign : Mlsem_common.Variable.t -> Mlsem_types.TyScheme.t