# Uses of Package
com.io7m.jpra.model

- Packages that use com.io7m.jpra.model
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.core.parser | Parser.
  com.io7m.jpra.compiler.core.resolver | Name resolution.
  com.io7m.jpra.model | Types and functions implementing the `jpra` type_model.
  com.io7m.jpra.model.contexts | Context types.
  com.io7m.jpra.model.loading | Model loading.
  com.io7m.jpra.model.names | Unresolved name types.
  com.io7m.jpra.model.size_expressions | Size expressions.
  com.io7m.jpra.model.statements | Statements.
  com.io7m.jpra.model.type_declarations | Type declarations.
  com.io7m.jpra.model.type_expressions | Type expressions.
  com.io7m.jpra.model.types | Types.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.compiler.core.checker
  Class and Description
  Untyped A type indicating that no type checking has been performed.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.compiler.core.parser
  Class and Description
  Unresolved A type indicating that parsing but no name resolution or type checking has been performed.
  Untyped A type indicating that no type checking has been performed.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.compiler.core.resolver
  Class and Description
  Unresolved A type indicating that parsing but no name resolution or type checking has been performed.
  Untyped A type indicating that no type checking has been performed.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.
  Unresolved A type indicating that parsing but no name resolution or type checking has been performed.
  Untyped A type indicating that no type checking has been performed.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.contexts
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.loading
  Class and Description
  PackageImport A package import declaration.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.names
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.size_expressions
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.statements
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.type_declarations
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.type_expressions
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

- Classes in com.io7m.jpra.model used by com.io7m.jpra.model.types
  Class and Description
  ModelElementType A marker interface indicating that something is an element of the type_model.

Copyright © 2017 <code@io7m.com> http://io7m.com