~/jendhub

def stranger

cswap-bend-cli@0.1.0.0 · daemon/sess.bend:250

import cswap-bend-cli@0.1.0.0/daemon/sess.bend as Sess
import Base

250# Only a stranger that started later than the record's claude disqualifies it.
251def stranger(+recorded: U32, +started: Maybe<&2, U32>, +pid: U32) -> IO(Bool):
252  match started:
253    case None{}:
254      IO.pure(Bool, True{})
255    case Some{st}:
256      stranger2(U32.is_le(st, (recorded + 120 : U32)), pid)

Uses (8)

Used by (1)