mz_pgrepr_consts::oid

Constant VIEW_PG_NAMESPACE_OID

Source 
pub const VIEW_PG_NAMESPACE_OID: u32 = 16794;