mz_pgrepr_consts::oid

Constant ROLE_MZ_MONITOR_REDACTED_OID

Source 
pub const ROLE_MZ_MONITOR_REDACTED_OID: u32 = 16_664;