Snarkable (snark_bits.Snark_bits.Bits.Snarkable)

module Small_bit_vector
  (Impl : Snarky_backendless.Snark_intf.S)
  (V : sig ... end) : 
  Bits_intf.Snarkable.Small
    with type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
     and type 'a checked := 'a Impl.Checked.t
     and type boolean_var := Impl.Boolean.var
     and type field_var := Impl.Field.Var.t
     and type Packed.var = Impl.Field.Var.t
     and type Packed.value = V.t
     and type Unpacked.var = Impl.Boolean.var list
     and type Unpacked.value = V.t
     and type comparison_result := Impl.Field.Checked.comparison_result

module UInt64 (Impl : Snarky_backendless.Snark_intf.S) : sig ... end

module UInt32 (Impl : Snarky_backendless.Snark_intf.S) : sig ... end

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

module Field
  (Impl : Snarky_backendless.Snark_intf.S) : 
  Bits_intf.Snarkable.Lossy
    with type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
     and type 'a checked := 'a Impl.Checked.t
     and type boolean_var := Impl.Boolean.var
     and type Packed.var = Impl.Field.Var.t
     and type Packed.value = Impl.Field.t
     and type Unpacked.var = Impl.Boolean.var list
     and type Unpacked.value = Impl.Field.t

module Small
  (Impl : Snarky_backendless.Snark_intf.S)
  (M : sig ... end) : 
  Bits_intf.Snarkable.Faithful
    with type ('a, 'b) typ := ( 'a, 'b ) Impl.Typ.t
     and type 'a checked := 'a Impl.Checked.t
     and type boolean_var := Impl.Boolean.var
     and type Packed.var = Impl.Field.Var.t
     and type Packed.value = Impl.Field.t
     and type Unpacked.var = Impl.Boolean.var list
     and type Unpacked.value = Impl.Field.t