Theory CardinalityAnalysisSig

theory CardinalityAnalysisSig
imports Arity AEnv "Cardinality-Domain" SestoftConf
begin

locale CardinalityPrognosis = 
  fixes prognosis :: "AEnv ⇒ Arity list ⇒ Arity ⇒ conf ⇒ (var ⇒ two)"

locale CardinalityHeap = 
  fixes cHeap :: "heap ⇒ exp ⇒ Arity → (var ⇒ two)"
end