`[all packages] [package ] [class hierarchy] [index]`

# public class PremonJJTDecBindFunCurried

(source file: PremonJJTDecBindFunCurried.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonJJTNode
                       |
                       +----PremonJJTDec
                               |
                               +----PremonJJTDecBindFunCurried

The pure class interface.

    public class PremonJJTDecBindFunCurried
      extends PremonJJTDec

  A curried function declaration C x P1 ... Pn : T {M} which is syntax sugar for let x : U = fn C P1 ... Pn {M} where U is the appropriate type (determined from the types of Pi and T).

  Author:
    Alan Jeffrey
  Version: v1.01 1998/07/20

##

PremonJJTDecBindFunCurried(int)

##

desugar(PremonCon)
getBind()
print(Printer)

##

PremonJJTDecBindFunCurried

    public PremonJJTDecBindFunCurried(int id);

##

print

    public void print(Printer p);

getBind

    public PremonCon getBind()
      throws TypeError;

desugar

    public PremonDec desugar(PremonCon Gamma)
      throws TypeError;

`[all packages] [package ] [class hierarchy] [index]`

###### PremonJJTDecBindFunCurried.html