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