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