package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 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;
    }
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val root : t
val fresh : string -> t
val layer : Expr.t -> Store.t -> t -> t