DDC.Core.Collect.BindStruct

data BindTree n

data BindWay

data BoundLevel

class BindStruct c n

isBoundExpWit

boundLevelOfBindWay

bindDefT

freeT

freeOfTreeT

collectBound

collectBinds