def before.m

cswap-bend-cli@0.1.0.0 · pollrow.bend:87

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
import Base

87def before.m(m: Maybe<&2, U32>, +now: U32) -> Bool:
88  match m:
89    case Some{x}:
90      U32.is_lt(now, x)
91    case None{}:
92      False{}

Uses (4)

Used by (3)