Checked.Assertval lte :
bit_length:int ->
Var.t ->
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.tval gte :
bit_length:int ->
Var.t ->
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.tval lt :
bit_length:int ->
Var.t ->
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.tval gt :
bit_length:int ->
Var.t ->
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.tval not_equal :
Var.t ->
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.tval equal :
Var.t ->
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.tval non_zero :
Var.t ->
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t