def is_number

minebender-game@1.0.0.0 · solver.bend:297

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

297def is_number(s: T.Seen) -> Bool:
298  match s:
299    case T.Shown{k}:
300      True{}
301    case o:
302      False{}