package cryptokit

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 `CryptokitBignum`Source

Operations on big integers, used for the implementation of module Cryptokit.

Sourcetype t

Sourceval zero : t

Sourceval one : t

Sourceval of_int : int -> t

Sourceval compare : t -> t -> int

Sourceval add : t -> t -> t

Sourceval sub : t -> t -> t

Sourceval mult : t -> t -> t

Sourceval mod_ : t -> t -> t

Sourceval relative_prime : t -> t -> bool

Sourceval mod_power : t -> t -> t -> t

Sourceval mod_power_CRT : t -> t -> t -> t -> t -> t -> t

Sourceval mod_inv : t -> t -> t

Sourceval of_bytes : string -> t

Sourceval to_bytes : ?numbits:int -> t -> string

Sourceval random : rng:(bytes -> int -> int -> unit) -> ?odd:bool -> int -> t

Sourceval random_prime : rng:(bytes -> int -> int -> unit) -> int -> t

Sourceval wipe : t -> unit