package binsec

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

Module Binsec_base.NaturalSource

Sourcetype t = private int
Sourceval create : int -> t
Sourceval add : t -> t -> t
Sourceval add_int : t -> int -> t
Sourceval sub : t -> t -> t
Sourceval sub_int : t -> int -> t
Sourceval mul : t -> t -> t
Sourceval div : t -> t -> t
Sourceval eq : t -> t -> bool
Sourceval gt : t -> t -> bool
Sourceval ge : t -> t -> bool
Sourceval pred : t -> t
Sourceval is_zero : t -> bool
Sourceval to_int : t -> int
Sourceval pp : Format.formatter -> t -> unit