Avail

type Avails

data AvailInfo

availsToNameSet

availsToNameEnv

availName

availNames

stableAvailCmp