TypeType

[Source]

The reason for using TypeType and type_type is that type is a reserved word in Pony.

type TypeType is
  (TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)

Type Alias For

• (TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)

---