pub fn length_bits<B: BV>( bits: &Val<B>, solver: &mut Solver<'_, B>, ) -> Result<u32, ExecError>
Return the length of a concrete or symbolic bitvector, or return ExecError::Type if the argument value is not a bitvector.