Urec.is_newer: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/urec.bend as Urec
Lines 168-173 of cswap-bend-cli@0.1.0.0/urec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&start_line=168&end_line=173

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_gt