def mtag

lawful-bytes@0.1.1.0 · proof_grow.bend:303

import Base

303def mtag(m: Maybe<&2, U32>) -> Bool:
304  match m:
305    case None{}:
306      False{}
307    case Some{x}:
308      True{}