package feat-num

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `FeatNum.Num`Source

include FeatCore.BigIntSig.EXTENDED with type t = Big_int.big_int

include FeatCore.BigIntSig.BASIC with type t = Big_int.big_int

Sourcetype t = Big_int.big_int

Sourceval zero : t

Sourceval one : t

Sourceval pred : t -> t

Sourceval add : t -> t -> t

Sourceval sub : t -> t -> t

Sourceval mul : t -> t -> t

Sourceval div_rem : t -> t -> t * t

Sourceval equal : t -> t -> bool

Sourceval lt : t -> t -> bool

Sourceval of_int : int -> t

Sourceexception Overflow

Sourceval to_int : t -> int

Sourceval leq : t -> t -> bool

Sourceval geq : t -> t -> bool

Sourceval (/) : t -> t -> t

Sourceval (*) : t -> t -> t

Sourceval (mod) : t -> t -> t

Sourceval (lsl) : t -> int -> t

Sourceval (lor) : t -> t -> t

Sourceval to_string : t -> string