def is_newer

cswap-bend-cli@0.1.0.0 · urec.bend:168

import cswap-bend-cli@0.1.0.0/urec.bend as Urec

import Base

168def is_newer(stored: Maybe<&2, U32>, +at: U32) -> Bool:
169  match stored:
170    case None{}:
171      True{}
172    case Some{s}:
173      U32.is_gt(at, s)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/urec:adopt.row