Scalar.Checked
val equal : Tick0.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t -> Tick0.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t -> Tick0.Boolean.var Tick0.Checked.t
val to_bits : 'a -> 'a
module Assert : sig ... end