2-Scalar.Checked
val to_bits : var -> Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t
module Assert : sig ... end