Module CMapMemory.Addition

type t = S.t
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
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 list_actions : unit -> (action * string list * string list) list
val action_from_str : string -> action option
val action_to_str : action -> string
val execute_action : action -> t -> Gillian.Gil_syntax.Expr.t list -> (t * Gillian.Gil_syntax.Expr.t list, err_t) Stdlib.result Gillian.Monadic.Delayed.t
val can_fix : err_t -> bool
val get_fixes : err_t -> string States.MyAsrt.t list list