def at_limit

cswap-bend-cli@0.1.0.0 · swpick.bend:32

import Base

32def at_limit(+h: Maybe<&2, U32>) -> Bool:
33  match h:
34    case Some{x}:
35      U32.is_eq(x, 0)
36    case None{}:
37      False{}