def wv.lex

bend-osdev-word64@0.1.1.0 · proof_value.bend:266

import Base

266# the order of two halves: the high halves, then the low halves
267def wv.lex(c: Cmp, d: Cmp) -> Cmp:
268  match c:
269    case LT{}:
270      LT{}
271    case EQ{}:
272      d
273    case GT{}:
274      GT{}