def absurd.maybe32

bend-osdev-algo@0.1.0.0 · PROOF.bend:814

import Base

814def absurd.maybe32(m: Maybe<&2, U32>) -> Type:
815  match m:
816    case None{}:
817      Empty
818    case Some{k}:
819      Unit