def rec.finite

cswap-bend-cli@0.1.0.0 · policy/bar.bend:41

import Base

41def rec.finite(+a: Maybe<&2, Nat>) -> Bool:
42  match a:
43    case None{}:
44      False{}
45    case Some{x}:
46      True{}