Bits (snark_params.Snark_params.Make

module type Lossy =
  Snark_bits.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

module type Faithful =
  Snark_bits.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

module type Small =
  Snark_bits.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 comparison_result := Impl.Field.Checked.comparison_result
     and type field_var := Impl.Field.Var.t