private static void TopStmtTyCheck_ParamsDecl(KStatement stmt, Syntax syn, KGamma gma) { throw new NotImplementedException(); }