Bits (snark_bits.Snark

val unpack_field : ( 'a -> 'b list ) -> bit_length:int -> 'c -> 'b list

val bits_per_char : int

val pad : 
  length:int ->
  default:'a ->
  'a0 Bitstring_lib.Bitstring.Lsb_first.t ->
  'a Base__List.t

module Vector : sig ... end

module UInt64 : Bits_intf.Convertible_bits with type t := Unsigned.UInt64.t

module UInt32 : Bits_intf.Convertible_bits with type t := Unsigned.UInt32.t

module type Big_int_intf = sig ... end

module Make_field0
  (Field : Snarky_backendless.Field_intf.S)
  (Bigint : Big_int_intf with type field := Field.t)
  (M : sig ... end) : 
  Bits_intf.S with type t = Field.t

module Make_field
  (Field : Snarky_backendless.Field_intf.S)
  (Bigint : Big_int_intf with type field := Field.t) : 
  Bits_intf.S with type t = Field.t

module Small
  (Field : Snarky_backendless.Field_intf.S)
  (Bigint : Big_int_intf with type field := Field.t)
  (M : sig ... end) : 
  Bits_intf.S with type t = Field.t

module Snarkable : sig ... end

module Make_unpacked
  (Impl : Snarky_backendless.Snark_intf.S)
  (M : sig ... end) : 
  sig ... end