Checked (snark_params.Snark_params.Tock.Inner

val equal : 
  Tock0.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  Tock0.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  Tock0.Boolean.var Tock0.Checked.t

val to_bits : 'a -> 'a

module Assert : sig ... end