PAKCS
Exported names: Imported modules:

Module ArityMap

Summary of exported operations:

buildArityMap :: [String] -> IO (FM (String,String) Int)   
extractArity :: CFuncDecl -> ((String,String),Int)   
path :: String   

Exported operations:

buildArityMap :: [String] -> IO (FM (String,String) Int)   

extractArity :: CFuncDecl -> ((String,String),Int)   

Further infos:
  • solution complete, i.e., able to compute all solutions

path :: String