Constant pgrx_pg_sys::OID_RANGE_GREATER_OP

source ยท 
pub const OID_RANGE_GREATER_OP: u32 = 3887;