Bits.Make_field
module Field : Snarky_backendless.Field_intf.S
module Bigint : Big_int_intf with type field := Field.t
include Bits_intf.Basic with type t = Field.t
type t = Field.t
val fold : t -> bool Fold_lib.Fold.t
val size_in_bits : int
val iter : t -> f:( bool -> unit ) -> unit
val to_bits : t -> bool list