def positive

cswap-bend-cli@0.1.0.0 · tui/run.bend:66

import Base

66def positive(+m: Maybe<&2, U32>) -> Maybe<&2, U32>:
67  match m:
68    case Some{n}:
69      keep(U32.is_gt(n, 0), m)
70    case None{}:
71      None{}