def won_ne_playing

minebender-game@1.0.0.0 · PROOF.bend:231

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

231def won_ne_playing(e: {T.Won{} == T.Playing{} : T.Status}) -> Empty:
232  %e : status_disc_playing(_)
233  Unit{}