mz_pgrepr_consts::oid

Constant ROLE_MZ_MONITOR_OID

Source 
pub const ROLE_MZ_MONITOR_OID: u32 = 16_663;