Module types

Structs

• GenericTypeArgGenericTypeWrapper
  Wrapper for a specialization generator with a single type arg.
• InfoAndTypeConcreteType
  Struct providing a ConcreteType with the type info and a wrapped type.
• InfoOnlyConcreteType
  Struct providing a ConcreteType only with the type info - should not be implemented for concrete types that require any extra data.
• TypeInfo
  Information on Sierra types required for generic libfunc calls.

Traits

• ConcreteType
  Trait for a specialized type.
• GenericType
  Trait for implementing a specialization generator for types.
• GenericTypeArgGenericType
  Trait for describing a generic type with a single type arg.
• GenericTypeEx
  Trait for introducing helper methods on GenericType.
• NamedType
  Trait for implementing a specialization generator with with a simple id.
• NoGenericArgsGenericType
  Trait for describing a generic type with no generic arguments.