Module Checked.Assert

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