Checked (non_zero_curve_point.Non_zero_curve

val equal : 
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t,
    Snark_params.Tick.Boolean.var )
    Poly.t ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t,
    Snark_params.Tick.Boolean.var )
    Poly.t ->
  ( Snark_params.Tick.Boolean.var, Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

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

val to_input_legacy : 
  ( 'a, 'b ) Poly.t ->
  ( 'a, 'b ) Random_oracle.Input.Legacy.t

val if_ : 
  Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t ->
  then_:
    ( Backend.Tick.Field.t Snarky_backendless.Cvar.t,
      Snark_params.Tick.Boolean.var )
      Poly.t ->
  else_:
    ( Backend.Tick.Field.t Snarky_backendless.Cvar.t,
      Snark_params.Tick.Boolean.var )
      Poly.t ->
  ( ( Backend.Tick.Field.t Snarky_backendless.Cvar.t,
      Snark_params.Tick.Boolean.var )
      Poly.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

module Assert : sig ... end