def Maybe.disc_none

import minebender-game@1.0.0.0/proof_grid.bend as ProofGrid

import Base

10def Maybe.disc_none(-A: Data, m: Maybe<&2, A>) -> Type:
11  match m:
12    case None{}:
13      Unit
14    case Some{v}:
15      Empty

Uses (3)