Constant OID_RANGE_GREATER_OP

pub const OID_RANGE_GREATER_OP: u32 = 3887;