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