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