Module `Checked.Assert`

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