def is_some

bend-collections-laws-math@1.0.0.0 · proofs/math/random/below.bend:75

import Base

75def is_some(m: Maybe<&2, Nat>) -> Bool:
76  match m:
77    case None{}:
78      False{}
79    case Some{x}:
80      True{}