type Status

minebender-game@1.0.0.0 · types.bend:40

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

40type Status is Data:
41  Playing{}
42  Won{}
43  Lost{why: Loss}

Uses (1)

Used by (94)