CurryInfo: cass-analysis-5.0.0 / Analysis.TermDomain.TermDomain

 ["emptyType :: a","isEmptyType :: a -> Prelude.Bool","anyType :: a","isAnyType :: a -> Prelude.Bool","aCons :: (String, String) -> [a] -> a","aLit :: FlatCurry.Types.Literal -> a","consOfType :: a -> [(String, String)]","argTypesOfCons :: (String, String) -> Prelude.Int -> a -> [a]","lubType :: a -> a -> a","joinType :: a -> a -> a","showType :: a -> String"]

 TermDomain