czt.zxml.ast
Class PowerType

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Type
              |
              +--czt.zxml.ast.PowerType

All Implemented Interfaces:

java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

public class PowerType

extends Type

See Also:

Serialized Form

Field Summary

Type

type

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

PowerType(Type type)

Methods inherited from class zeta.util.Term

, clone, equals, getSubtermFields, getTagField, intern, internArray, toFormat, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

type

public Type type

Constructor Detail

PowerType

public PowerType(Type type)