Types & contracts

Type syntax and the declarations built on it: interfaces, type aliases, enums, tagged unions, and relational schemas.

Terms#

These are the words you write in this part of the language. Each links to its page. The second column names the grammar rule the word belongs to.

Term	Grammar rule
`interface`	`implendum_decl`
`fn`	`implendum_method_decl`
`type`	`typus_decl`
`enum`	`ordo_decl`
`union`	`discretio_decl`
`schema`	`schema_decl`
`column`	`schema_column`
`ref`, `mut`	`union_hole_type`
`ref`, `mut`	`owned_type`
`record`	`ratio_type`

Formal grammar#

The rules for this part of the language are the parser's own definition of it. They are written for models and tools, so this page does not repeat them; the full list is at every production.