Module Ast.Loc

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