~/jendhub

def record_live2

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

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

314def record_live2(+pid: Maybe<&2, U32>, +stamp: Maybe<&2, String>) -> IO(Bool):
315  match pid:
316    case None{}:
317      IO.pure(Bool, False{})
318    case Some{p}:
319      pid_live_gt1(U32.is_gt(p, 1), p, stamp)

Uses (8)

Used by (1)