CPL-0.0.5: src/CDT.hs-boot

module CDT where

import Variance

data CDT

functName     :: CDT -> String
functVariance :: CDT -> [Variance]
_eqCDT        :: CDT -> CDT -> Bool