Module language

Traits

HasKind

Language

The definition of a “language”

Type Aliases

CoreKind

For consistency with types like CoreVariable<L>, we write CoreKind<L> instead of Kind<L>.

CoreParameter

For consistency with types like CoreVariable<L>, we write CoreParameter<L> instead of Parameter<L>.