mz_pgrepr::oid

Constant VIEW_PG_EXTENSION_OID

Source 
pub const VIEW_PG_EXTENSION_OID: u32 = 16875; // 16_875u32