Index - E
| E | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| elaborateRe | KleenePlugin.Elaborate |
| elaborateStr | KleenePlugin.Elaborate |
| elaborateType | KleenePlugin.TypeEq |
| exists | KleenePlugin.Matching |