HERMIT.Dictionary.Undefined

Working with Undefined Values

externals

buildStrictnessLemmaT

verifyStrictT

mkUndefinedValT

isUndefinedValT

replaceCurrentExprWithUndefinedR

replaceIdWithUndefinedR

errorToUndefinedR

undefinedExprR

undefinedAppR

undefinedLamR

undefinedLetR

undefinedCaseScrutineeR

undefinedCaseAltsR

undefinedCaseR

undefinedCastR

undefinedTickR