Module BignumSource

Sourcetype t
Sourceval zero : t
Sourceval one : t
Sourceval of_int : int -> t
Sourceval is_zero : t -> bool
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval of_bytes : string -> t
Sourceval to_bytes : len:int -> t -> string
Sourceval of_hex : string -> t
Sourceval to_hex : t -> string
Sourceval add : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval mul : t -> t -> t
Sourceval shift_left : t -> int -> t
Sourceval shift_right : t -> int -> t
Sourceval bits : t -> int
Sourceval bit : t -> int -> bool
Sourceval rem : t -> t -> t
Sourcetype modulus
Sourceval modulus : t -> modulus
Sourceval modulus_value : modulus -> t
Sourcetype mont
Sourceval of_nat : modulus -> t -> mont
Sourceval to_nat : modulus -> mont -> t
Sourceval mont_mul : modulus -> mont -> mont -> mont
Sourceval mont_add : modulus -> mont -> mont -> mont
Sourceval mont_sub : modulus -> mont -> mont -> mont
Sourceval mont_one : modulus -> mont
Sourceval mont_is_zero : mont -> bool
Sourceval mont_equal : mont -> mont -> bool
Sourceval pow_mod : modulus -> t -> t -> t
Sourceval inverse_prime : modulus -> t -> t
Sourceval mul_mod : modulus -> t -> t -> t
Sourceval add_mod : modulus -> t -> t -> t
Sourceval sub_mod : modulus -> t -> t -> t