next up previous contents
Next: Procedure Types Up: Type Previous: DataTypes   Contents


Label Types

    abstract LabelType : Type {};

A LabelType is simply the type of a label; it does not have any subclasses or fields.



SUIF Nightly Build
2000-08-14