Module Field.Assert

Assertions

val lte : bit_length:int -> t -> t -> unit
val gte : bit_length:int -> t -> t -> unit
val lt : bit_length:int -> t -> t -> unit
val gt : bit_length:int -> t -> t -> unit
val not_equal : t -> t -> unit
val equal : t -> t -> unit
val non_zero : t -> unit