Types
Class FUN

java.lang.Object
  Types.Type
      Types.FUN

public class FUN

extends Type

Field Summary

RECORD<Type>	formals
Type	result

Constructor Summary

FUN(Type r)

Method Summary

void	accept(Types.Visitor v)
boolean	coerceTo(Type t)
boolean	equals(java.lang.Object o)
java.lang.String	toString()

Methods inherited from class Types.Type

actual, field, method

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

formals

public RECORD<Type> formals

result

public Type result

Constructor Detail

FUN

public FUN(Type r)

Method Detail

coerceTo

public boolean coerceTo(Type t)

Specified by:

coerceTo in class Type

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public void accept(Types.Visitor v)

Specified by:

accept in class Type