def is_covered

minebender-game@1.0.0.0 · LAWS.bend:608

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

608def is_covered(t: T.Tile) -> Bool:
609  match t:
610    case T.Covered{}:
611      True{}
612    case o:
613      False{}