def lost_ne_playing

minebender-game@1.0.0.0 · PROOF.bend:235

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

235def lost_ne_playing(-why: T.Loss, e: {T.Lost{why} == T.Playing{} : T.Status}) -> Empty:
236  %e : status_disc_playing(_)
237  Unit{}