package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Var of string * Binsec.Ast.Size.t
  2. | Load of int * Binsec.Machine.endianness option * Binsec.Ast.Expr.t Binsec.Ast.loc * string option
  3. | Sub of int Binsec.Interval.t * t Binsec.Ast.loc
val var : ?size:Binsec.Ast.Size.t -> string -> t
val load : ?array:string -> int -> ?endianness:Binsec.Machine.endianness -> Binsec.Ast.Expr.t Binsec.Ast.loc -> t
val restrict : hi:int -> lo:int -> t Binsec.Ast.loc -> t
val pp : Format.formatter -> t -> unit