Module 1-Impl.Bigint

include Snarky_intf.Bigint_intf.Extended with type field := field
include Snarky_intf.Bigint_intf.S with type field := field
type t
val of_field : field -> t
val test_bit : t -> int -> bool
include Core_kernel.Binable.S with type t := t
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : ( int -> t ) Bin_prot.Read.reader
val bin_shape_t : Bin_prot.Shape.t
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
val to_field : t -> field
val of_data : Core_kernel.Bigstring.t -> bitcount:int -> t
val length_in_bytes : int
val of_decimal_string : string -> t
val of_numeral : string -> base:int -> t
val compare : t -> t -> int
val of_bignum_bigint : Snarky_backendless.Snark_intf.Bignum_bigint.t -> t
val to_bignum_bigint : t -> Snarky_backendless.Snark_intf.Bignum_bigint.t