def is_some

lawful-bytes@0.1.1.0 · defs.bend:94

import Base

94# xs has c at index k.
95def is_some(m: Maybe<&2, U32>, +c: U32) -> Bool:
96  match m:
97    case Some{x}:
98      U32.is_eq(x, c)
99    case None{}:
100      False{}