pgrx_pg_sys

Constant OID_RANGE_LESS_EQUAL_OP

Source 
pub const OID_RANGE_LESS_EQUAL_OP: u32 = 3885;