def is_full

cswap-bend-cli@0.1.0.0 · tui/card.bend:98

import Base

98def is_full(+p: Maybe<&2, U32>) -> Bool:
99  match p:
100    case None{}:
101      False{}
102    case Some{c}:
103      U32.is_ge(c, 10000)