Module type Concrete.Memory_S

Interface for a concrete memory model

type init_data

Type of GIL values

Type of GIL substitutions

type err_t

Errors

val err_t_to_yojson : err_t -> Yojson.Safe.t
val err_t_of_yojson : Yojson.Safe.t -> err_t Ppx_deriving_yojson_runtime.error_or
val pp_err_t : Ppx_deriving_runtime.Format.formatter -> err_t -> Ppx_deriving_runtime.unit
val show_err_t : err_t -> Ppx_deriving_runtime.string
type t

Type of GIL general states

type action_ret = (t * vt list, err_t) Stdlib.result
val init : init_data -> t

Initialisation

val execute_action : string -> t -> vt list -> action_ret

Execute action

val copy : t -> t

State Copy

val pp : Stdlib.Format.formatter -> t -> unit

Printer

val pp_err : Stdlib.Format.formatter -> err_t -> unit