~/jendhub

def cd.lt

cswap-bend-cli@0.1.0.0 · policy/safe.bend:104

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe
import Base
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

104# c ranks strictly before d.
105def cd.lt(+c: Cd, +d: Cd) -> Bool:
106  match c d:
107    case Cd{s1, a1, a2, h1} Cd{s2, b1, b2, h2}:
108      lt1(a1, b1) || (R.rec.req(a1, b1) && Nat.is_lt(a2, b2))

Uses (7)

Used by (1)