pub fn select_bit( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, input: OracleId, index: usize, ) -> Result<OracleId, Error>