Impl.Bitstring_checkedtype t = Boolean.var listval equal : t -> t -> Boolean.var Checked.tval equal_expect_true : t -> t -> Boolean.var Checked.tval lt_value :
Boolean.var Bitstring_lib.Bitstring.Msb_first.t ->
bool Bitstring_lib.Bitstring.Msb_first.t ->
Boolean.var Checked.tmodule Assert : sig ... end