package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sexpr.MemorySource

Sourcetype t = private
  1. | Root
  2. | Symbol of string
  3. | Layer of {
    1. id : int;
    2. over : t;
    3. addr : Expr.t;
    4. store : Store.t;
    }
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval root : t
Sourceval fresh : string -> t
Sourceval layer : Expr.t -> Store.t -> t -> t