def pid_live_gt1

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

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

307def pid_live_gt1(+ok: Bool, +p: U32, +stamp: Maybe<&2, String>) -> IO(Bool):
308  match ok:
309    case True{}:
310      pid_live(p, stamp)
311    case False{}:
312      IO.pure(Bool, False{})

Uses (7)

Used by (1)