def mdisc

lawful-bytes@0.1.1.0 · proof_same.bend:22

import Base

22def mdisc(m: Maybe<&2, U32>) -> Type:
23  match m:
24    case None{}:
25      Empty
26    case Some{x}:
27      Unit