# Module CryptokitBignum

    module CryptokitBignum: sig .. end

    type t

    val zero : t

    val one : t

    val of_int : int -> t

    val compare : t -> t -> int

    val add : t -> t -> t

    val sub : t -> t -> t

    val mult : t -> t -> t

    val mod_ : t -> t -> t

    val relative_prime : t -> t -> bool

    val mod_power : t ->
           t -> t -> t

    val mod_power_CRT : t ->
           t ->
           t ->
           t ->
           t -> t -> t

    val mod_inv : t -> t -> t

    val of_bytes : string -> t

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

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

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

    val wipe : t -> unit