pgrx_pg_sys

Constant OID_MULTIRANGE_GREATER_OP

Source
pub const OID_MULTIRANGE_GREATER_OP: u32 = 2865;