def is_some

bend-collections-laws-crypto@1.0.0.0 · proofs/math/random/shuffle.bend:26

import Base

26def is_some(-A: Data, m: Maybe<&2, A>) -> Bool:
27  match m:
28    case None{}:
29      False{}
30    case Some{x}:
31      True{}