def disc_some

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver

import Base

899def disc_some(-A: Data, m: Maybe<&2, A>) -> Type:
900  match m:
901    case None{}:
902      Empty
903    case Some{v}:
904      Unit

Uses (3)