Expand description
Component type well-formedness
This is a pretty direct port of the relevant sections of the OCaml reference interpreter.
Structs§
- Defined
Type Position - The various position metadata that affect what defined types are well-formed
Enums§
- Error
- There are several ways in which a type may be ill-formed: