Checked.Assert
Assertions
val lte : bit_length:int -> field_var -> field_var -> unit Checked.t
val gte : bit_length:int -> field_var -> field_var -> unit Checked.t
val lt : bit_length:int -> field_var -> field_var -> unit Checked.t
val gt : bit_length:int -> field_var -> field_var -> unit Checked.t
val not_equal : field_var -> field_var -> unit Checked.t
val equal : field_var -> field_var -> unit Checked.t
val non_zero : field_var -> unit Checked.t