function_params is std::vector<...> and NUMERAL_TOK is uintval
function_params is std::vector<...> and NUMERAL_TOK is uintval

So these are size_t and unsigned, respectively. Fixing accordingly in
smt2.y

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp