Index - :
| := | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic |
| :~: | Language.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic |
| :~~: | Language.Symantic.Typing.Variable, Language.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic |