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