Module Ast.LocSource

Sourcetype t =
  1. | Var of string * Size.t
  2. | Load of int * Binsec_kernel.Machine.endianness option * Expr.t loc * string option
  3. | Sub of int Binsec_kernel.Interval.t * t loc
Sourceval var : ?size:Size.t -> string -> t
Sourceval load : ?array:string -> int -> ?endianness:Binsec_kernel.Machine.endianness -> Expr.t loc -> t
Sourceval restrict : hi:int -> lo:int -> t loc -> t
Sourceval pp : Stdlib.Format.formatter -> t -> unit