Language.AbstractSyntax.TTTAS.Common

Typed References and Environments

Typed References

data Ref a env

data Equal

match

lookup

update

Declarations

data Env term use def

type FinalEnv t usedef

data T e s

lookupEnv

updateEnv

data Unit s

data Result m t b