Module 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.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.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