package binsec

  1. Overview
  2. Docs
package binsec
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct