Module Default.Memory

and symbol
and nullable
and t
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val none : nullable
val any : t -> nullable
val root : int -> t
val symbol : string -> int -> t
val layer : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> Binsec_symbolic__Default__.Types.Store.t -> t -> t
val base : t -> symbol
type 'a node = private
  1. | None : [< `None | `Any ] node
  2. | Symbol : {
    1. id : int;
    2. name : string;
    3. index : int;
    } -> [< `Some | `Symbol | `Any ] node
  3. | Layer : {
    1. id : int;
    2. over : t;
    3. addr : Expr.t;
    4. store : Store.t;
    } -> [< `Some | `Any ] node
module Tbl : sig ... end