Bits (snark_params.Snark_params.Make_inner_curve_aux.2-Other

module type Faithful =
  Snark_bits.Bits_intf.Snarkable.Faithful
    with type ('a, 'b) typ := ( 'a, 'b ) Typ.t
     and type 'a checked := 'a Checked.t
     and type boolean_var := Boolean.var

module type Lossy =
  Snark_bits.Bits_intf.Snarkable.Lossy
    with type ('a, 'b) typ := ( 'a, 'b ) Typ.t
     and type 'a checked := 'a Checked.t
     and type boolean_var := Boolean.var