A few base functions for analysing type dependencies in FlatCurry programs.
dependsDirectlyOnTypes
:: TypeDecl -> [(String, String)]
Return the type constructors occurring in a type declaration.
callsDirectly
:: FuncDecl -> [(String, String)]