Module name: CoCallAnalysisSig
[darcs-mirror-isa-launchbury.git] / Launchbury / CoCallAnalysisSig.thy
1 theory CoCallAnalysisSig
2 imports Terms Arity CoCallGraph
3 begin
4
5 locale CoCallAnalysis =
6   fixes ccExp :: "exp \<Rightarrow> Arity \<rightarrow> CoCalls"
7
8 locale CoCallAnalyisHeap = 
9   fixes ccHeap :: "heap \<Rightarrow> exp \<Rightarrow> Arity \<rightarrow> CoCalls"
10
11 end