def holds

bend-kit-zlib@0.5.1.0 · zlib.bend:536

import Base

536def holds(m: Maybe<&2, U32>, +v: U32) -> Bool:
537  match m:
538    case None{}:
539      False{}
540    case Some{+x}:
541      U32.is_eq(x, v)