Represents the kind of the anonymous structure type.
Values
AClosed
A closed structure is considered complete. That is, no further fields can be added to it.
AOpened
An open structure allows having additional fields added to it, which is used during type inference. It is closed upon unification.
AConst
A const structure is one that appears directly in syntax. It cannot be assigned to a smaller structure type (that is, it does not allow structural sub-typing).
AExtend(tl:Ref<Array<Type>>)
Represents a structure which extends one or multiple structures defined
in tl
.
See also:
AClassStatics(t:Ref<ClassType>)
A structure that represents the static fields of a class.
AEnumStatics(t:Ref<EnumType>)
A structure that represents the constructors of an enum.
AAbstractStatics(t:Ref<AbstractType>)
A structure that represents the static fields of an abstract.