Expand description
Types and functions that implement the specification of Polyhorn.toml
files.
Structs§
- AppSpec
- Settings related to the app that a Polyhorn project builds.
- Spec
- Specification stored in a
Polyhorn.tomlfile.
Enums§
- Error
- Represents an error that is encountered while loading and parsing a
specification from a
Polyhorn.tomlfile.