HERMIT.Dictionary.Common

Utility Transformations

applyInContextT

Finding function calls.

callDataConNameT

Collecting variable bindings

progConsRecIdsT

progConsNonRecIdT

Finding variables bound in the Context

varBindingDepthT

varIsOccurrenceOfT

exprIsOccurrenceOfT

withVarsInScope