Module Sexpr.Memory

type t =
  1. | Unknown
  2. | Source of {
    1. id : int;
    2. over : t;
    3. addr : Bv.t;
    4. orig : Binsec.Loader_buf.t;
    5. len : int;
    }
  3. | Layer of {
    1. id : int;
    2. over : t;
    3. addr : Expr.t;
    4. bytes : Expr.t BiMap.t;
    5. pop : int;
    }
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val source : addr:Bv.t -> len:int -> Binsec.Loader_buf.t -> t -> t
val write : addr:Expr.t -> Expr.t -> Expr.endianness -> t -> t
val read : addr:Expr.t -> int -> Expr.endianness -> t -> Expr.t