All Packages Class Hierarchy This Package Previous Next Index
Class Types.RECORD
java.lang.Object
|
+----Types.Type
|
+----Types.RECORD
- public class RECORD
- extends Type
-
fieldName
-
-
fieldType
-
-
tail
-
-
RECORD(Symbol, Type, RECORD)
-
-
coerceTo(Type)
-
fieldName
public Symbol fieldName
fieldType
public Type fieldType
tail
public RECORD tail
RECORD
public RECORD(Symbol n,
Type t,
RECORD x)
coerceTo
public boolean coerceTo(Type t)
- Overrides:
- coerceTo in class Type
All Packages Class Hierarchy This Package Previous Next Index