def order
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as U64import Base
50def order(high: Cmp, low: Cmp) -> Cmp:
51 match high:
52 case EQ{}:
53 low
54 case LT{}:
55 LT{}
56 case GT{}:
57 GT{}
Uses (1)
Used by (9)
- bend-collections-laws-crypto@1.0.0.0/proofs/math/u64/u64:cmp_join
- bend-collections-laws-crypto@1.0.0.0/proofs/math/u64/u64:cmp_pack
- bend-collections-laws-crypto@1.0.0.0/proofs/math/u64/u64:negative_pack
- bend-collections-laws-crypto@1.0.0.0/src/math/u64:le_sign
- bend-collections-laws-crypto@1.0.0.0/proofs/math/u64/u64:eq_order
- …