Module `Scalar.Checked`

val to_bits : var -> Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t