package binsec

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Script.PexprSource

Sourcetype t =
  1. | Int of Z.t
  2. | Expr of Expr.t
include Binsec.Sigs.ARITHMETIC with type t := t
Sourceval add : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval mul : t -> t -> t
Sourceval neg : t -> t
Sourceval udiv : t -> t -> t
Sourceval umod : t -> t -> t
Sourceval urem : t -> t -> t
Sourceval sdiv : t -> t -> t
Sourceval smod : t -> t -> t
Sourceval srem : t -> t -> t
include Binsec.Sigs.COMPARISON with type t := t and type boolean := t
Sourceval equal : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval ule : t -> t -> t
Sourceval uge : t -> t -> t
Sourceval ult : t -> t -> t
Sourceval ugt : t -> t -> t
Sourceval sle : t -> t -> t
Sourceval sge : t -> t -> t
Sourceval slt : t -> t -> t
Sourceval sgt : t -> t -> t
include Binsec.Sigs.EXTENDED_LOGICAL with type t := t
include Binsec.Sigs.LOGICAL with type t := t
Sourceval logand : t -> t -> t
Sourceval logor : t -> t -> t
Sourceval lognot : t -> t
Sourceval logxor : t -> t -> t
Sourceval shift_left : t -> t -> t
Sourceval shift_right : t -> t -> t
Sourceval shift_right_signed : t -> t -> t
Sourceval rotate_left : t -> t -> t
Sourceval rotate_right : t -> t -> t
Sourceval sext : int -> t -> t
Sourceval uext : int -> t -> t
Sourceval restrict : int -> int -> t -> t
Sourceval append : t -> t -> t
Sourceval ite : Expr.t -> t -> t -> t
Sourceval to_bool : t -> Expr.t
Sourceval to_expr : int -> t -> Expr.t
OCaml

Innovation. Community. Security.