package binsec
Module Script.Loc
type t = | Var of string * Binsec.Ast.Size.t| Load of int * Binsec.Machine.endianness option * Binsec.Ast.Expr.t Binsec.Ast.loc * string option| Sub of int Binsec.Interval.t * t Binsec.Ast.loc
val var : ?size:Binsec.Ast.Size.t -> string -> tval load :
?array:string ->
int ->
?endianness:Binsec.Machine.endianness ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
tval restrict : hi:int -> lo:int -> t Binsec.Ast.loc -> tval pp : Format.formatter -> t -> unit