Checked (signature_lib.Signature_lib.Public

val equal : 
  var ->
  var ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val to_input_legacy : 
  var ->
  ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var )
    Random_oracle.Input.Legacy.t

val to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:var ->
  else_:var ->
  var Snark_params.Tick.Checked.t

module Assert : sig ... end