Module kailua_types::env [] [src]

Type environments.

Structs

DummyClassProvider

A dummy ClassProvider which allows no nominal types.

Types

The type environment.

Traits

ClassProvider

Provides the specific knowledge about defined classes and class systems.