All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class Absyn.RecordTy 

java.lang.Object
   |
   +----Absyn.Absyn
           |
           +----Absyn.Ty
                   |
                   +----Absyn.RecordTy
public class RecordTy
extends Ty

Variable Index

o fields

Constructor Index

o RecordTy(int, FieldList)

Variables

o fields 
 public FieldList fields

Constructors

o RecordTy 
 public RecordTy(int p,
                 FieldList f)

All Packages  Class Hierarchy  This Package  Previous  Next  Index