def rec.lt_minus

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

import Base

36def rec.lt_minus(+c: Maybe<&2, Nat>, +a: Maybe<&2, Nat>) -> Bool:
37  Bool.not(rec.ge_minus(c, a))

Uses (5)