~/jendhub

def Maybe.disc_some

minebender-game@1.0.0.0 · proof_gen.bend:133

import minebender-game@1.0.0.0/proof_gen.bend as ProofGen
import Base

133def Maybe.disc_some(-A: Data, m: Maybe<&2, A>) -> Type:
134  match m:
135    case None{}:
136      Empty
137    case Some{v}:
138      Unit

Uses (3)

Used by (1)