Var | Symantic.Typed.Data, Symantic.Typed |
var | Symantic.Typed.Lang, Symantic.Typed |
View | |
1 (Type/Class) | Symantic.Typed.View, Symantic.Typed |
2 (Data Constructor) | Symantic.Typed.View, Symantic.Typed |
ViewApp | Symantic.Typed.View, Symantic.Typed |
ViewEnv | |
1 (Type/Class) | Symantic.Typed.View, Symantic.Typed |
2 (Data Constructor) | Symantic.Typed.View, Symantic.Typed |
viewEnv_lamDepth | Symantic.Typed.View, Symantic.Typed |
viewEnv_op | Symantic.Typed.View, Symantic.Typed |
viewEnv_pair | Symantic.Typed.View, Symantic.Typed |
ViewInfix | Symantic.Typed.View, Symantic.Typed |
viewLam | Symantic.Typed.View, Symantic.Typed |
ViewUnifix | Symantic.Typed.View, Symantic.Typed |
void | Symantic.Dityped.Lang, Symantic.Dityped |
Voidable | Symantic.Dityped.Lang, Symantic.Dityped |