gillian » Gillian » Concrete » Memory_S

Module type Concrete.Memory_S

type init_data

type vt = Concrete.Values.t

Type of GIL values

type st = Concrete.Subst.t

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