Constant mz_pgrepr::oid::VIEW_PG_AGGREGATE_OID

source ยท 
pub const VIEW_PG_AGGREGATE_OID: u32 = 16872; // 16_872u32