Module Cse.LayerSource

Sourcetype t = private
  1. | Base of string option
  2. | Layer of {
    1. id : int;
    2. over : t;
    3. base : string option;
    4. addr : Expr.t;
    5. store : Store.t;
    }
Sourceval base : t -> string option
include Binsec.Sigs.HASHABLE with type t := t
include Binsec.Sigs.COMPARABLE with type t := t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int