MVariable (mlsem-lang.Mlsem

module SA = Mlsem_system.Ast

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_compat : kind -> kind -> bool

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

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

val ref_uninit : Mlsem_common.Variable.t -> SA.e

val ref_cons : Mlsem_common.Variable.t -> SA.t -> SA.e

val ref_get : Mlsem_common.Variable.t -> SA.e

val ref_assign : Mlsem_common.Variable.t -> SA.t -> SA.e