mz_pgrepr_consts::oid

Constant VIEW_PG_AGGREGATE_OID

Source 
pub const VIEW_PG_AGGREGATE_OID: u32 = 16872;