DDC.Core.Transform.Rename

class Rename c

Substitution states

data Sub n

Binding stacks

data BindStack n

pushBind

pushBinds

substBound

Rewriting binding occurences

bind1

bind1s

bind0

bind0s

Rewriting bound occurences

use1

use0