Module formality_core::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>.