Make.Bitstring_checkedUtility functions for dealing with lists of bits in the R1CS.
type t = Boolean.var listval equal : t -> t -> Boolean.var Checked.tval equal_expect_true : t -> t -> Boolean.var Checked.tEquivalent to equal, but avoids computing field elements to represent chunks of the list when not necessary.
NOTE: This will do extra (wasted) work before falling back to the behaviour of equal when the values are not equal.
val lt_value :
Boolean.var Bitstring_lib.Bitstring.Msb_first.t ->
bool Bitstring_lib.Bitstring.Msb_first.t ->
Boolean.var Checked.tmodule Assert : sig ... end