def is_hidden

minebender-game@1.0.0.0 · game.bend:315

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

315def is_hidden(s: T.Seen) -> Bool:
316  match s:
317    case T.Hidden{}:
318      True{}
319    case o:
320      False{}