Index
| dependencies | U.Util.Term |
| effect | U.Util.Type |
| Effect1' | U.Util.Type |
| effects | U.Util.Type |
| Effects' | U.Util.Type |
| flattenEffects | U.Util.Type |
| forAll | U.Util.Type |
| ForallNamed' | U.Util.Type |
| ForallsNamed' | U.Util.Type |
| generalize | U.Util.Type |
| Ref' | U.Util.Type |
| removeAllEffectVars | U.Util.Type |
| removeEffectVars | U.Util.Type |
| text | U.Util.Term |
| unforall' | U.Util.Type |
| unForalls | U.Util.Type |