def status_disc_playing

minebender-game@1.0.0.0 · PROOF.bend:224

import Base
import minebender-game@1.0.0.0/types.bend as T

224def status_disc_playing(s: T.Status) -> Type:
225  match s:
226    case T.Playing{}:
227      Empty
228    case o:
229      Unit