DDC.Type.Collect

freeT

freeVarsT

class FreeVarConT c

collectBound

collectBinds

data BindTree n

data BindWay

class BindStruct c n

data BoundLevel

isBoundExpWit

boundLevelOfBindWay

bindDefT