Safe.cd.lt: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe
Lines 104-108 of cswap-bend-cli@0.1.0.0/policy/safe.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&start_line=104&end_line=108

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=rec.req
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=Cd
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=lt1