def lex

bend-collections-laws-crypto@1.0.0.0 · proofs/math/typed/natcmp.bend:16

import Base

16def lex(c: Cmp, d: Cmp) -> Cmp:
17  match c:
18    case LT{}:
19      LT{}
20    case EQ{}:
21      d
22    case GT{}:
23      GT{}