def lt1

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

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

101def lt1(+a: Maybe<&2, Nat>, +b: Maybe<&2, Nat>) -> Bool:
102  R.rec.rle(a, b) && Bool.not(R.rec.req(a, b))

Uses (7)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/safe:cd.lt