303d779b004fbd0d00e90bba4c9bc7e0a5ada7ad
[darcs-mirror-isa-launchbury.git] / Launchbury / CoCallAnalysis.thy
1 theory CoCallAnalysis
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