Step.Bitstring_checkedtype t = Boolean.var listval equal : t -> t -> Boolean.varval equal_expect_true : t -> t -> Boolean.varval lt_value :
Boolean.var Bitstring_lib.Bitstring.Msb_first.t ->
bool Bitstring_lib.Bitstring.Msb_first.t ->
Boolean.varmodule Assert : sig ... end