[all packages]
[package ]
[class hierarchy]
[index]
java.lang.Object | +----Printable | +----PremonJJTNode | +----PremonJJTExp | +----PremonJJTExpFunCurried
public class PremonJJTExpFunCurried extends PremonJJTExp
An anonymous function fn C P1 ... Pn {M} where:
fn C P1 P2 ... Pn {M}is sugar for
fn val P1 {fn P2 ... Pn {M}}.Note that the return type of an anonymous function can be determined from the type of its body.
public PremonJJTExpFunCurried(int id);
public void print(Printer p);
public void printA(Printer p);
public PremonExp desugarFrom(int i, PremonCon Gamma) throws TypeError;
public PremonExp desugar(PremonCon Gamma) throws TypeError;
[all packages]
[package ]
[class hierarchy]
[index]