Make.Bitstring_checkedtype t = Boolean.var listval equal : t -> t -> Boolean.varval equal_expect_true : t -> t -> Boolean.varEquivalent 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.varmodule Assert : sig ... end