base.OrderingMatch[R:imm,mut,read]

mut .greater: R,
mut .less: R,
mut .equal: R,
mut .greater: R,
mut .less: R,
mut .equal: R,