module Solver::TokenData