Crate kailua_workspace [−] [src]
Workspace support for Kailua.
While the type checker itself processes files organically, starting from a start file, many Kailua projects are organized as a workspace---source files and an optional configuration. This crate abstracts the common procedure for determining such configurations.
Structs
| Config |
A configuration being built. |
| Workspace |
A workspace. |
| WorkspaceOptions |
An extension to |