`sig
type t
val zero : CryptokitBignum.t
val one : CryptokitBignum.t
val of_int : int -> CryptokitBignum.t
val compare : CryptokitBignum.t -> CryptokitBignum.t -> int
val add : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val sub : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val mult : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val mod_ : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val relative_prime : CryptokitBignum.t -> CryptokitBignum.t -> bool
val mod_power :
CryptokitBignum.t ->
CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val mod_power_CRT :
CryptokitBignum.t ->
CryptokitBignum.t ->
CryptokitBignum.t ->
CryptokitBignum.t ->
CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val mod_inv : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
val of_bytes : string -> CryptokitBignum.t
val to_bytes : ?numbits:int -> CryptokitBignum.t -> string
val random :
rng:(bytes -> int -> int -> unit) ->
?odd:bool -> int -> CryptokitBignum.t
val random_prime :
rng:(bytes -> int -> int -> unit) -> int -> CryptokitBignum.t
val wipe : CryptokitBignum.t -> unit
end`