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

Binds a top-level variable, giving a mutable one the type its declaration fixes rather than the type inferred for its initializer.

raises Invalid_argument
if the variable is mutable and its declared type contains type variables, or if the inferred type does not match it.

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

The four operations a mutable variable is encoded with, on an abstract reference type. Each raises Invalid_argument if the variable is not mutable.

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

Creation of an uninitialized cell.

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

Creation of a cell holding the given expression.

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

Read of the cell.

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

Write of the given expression into the cell.