theory CoCallAritySig imports ArityAnalysisSig CoCallAnalysisSig begin locale CoCallArity = CoCallAnalysis + ArityAnalysis end