Expr (p.binsec.0.8.2.doc.binsec.sse.Libsse.Script.Expr)

type t =

val zero : t

val one : t

val succ : t Binsec.Ast.loc -> t

val integer : Z.t -> t

val constant : Binsec.Bitvector.t -> t

val symbol : Binsec.Ast.Symbol.t Binsec.Ast.loc -> t

val loc : Binsec.Ast.Loc.t Binsec.Ast.loc -> t

val add : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sub : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val mul : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val neg : t Binsec.Ast.loc -> t

val udiv : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val umod : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sdiv : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val smod : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val logand : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val logor : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val lognot : t Binsec.Ast.loc -> t

val logxor : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

include Binsec.Sigs.COMPARISON
  with type t := t Binsec.Ast.loc
   and type boolean := t

val equal : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val diff : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ule : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val uge : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ult : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ugt : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sle : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sge : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val slt : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sgt : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val shift_left : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val shift_right : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val shift_right_signed : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val rotate_left : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val rotate_right : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val sext : int -> t Binsec.Ast.loc -> t

val uext : int -> t Binsec.Ast.loc -> t

val restrict : hi:int -> lo:int -> t Binsec.Ast.loc -> t

val append : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val ite : t Binsec.Ast.loc -> t Binsec.Ast.loc -> t Binsec.Ast.loc -> t

val pp : Format.formatter -> t -> unit