def Maybe.disc_n

minebender-game@1.0.0.0 · proof_lists.bend:8

import Base

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