def is_hidden

minebender-game@1.0.0.0 · LAWS.bend:128

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

128def is_hidden(s: T.Seen) -> Bool:
129  match s:
130    case T.Hidden{}:
131      True{}
132    case o:
133      False{}