sig
type
key =
Cil_types
.compinfo
type
data =
Lang
.lfun * chunk list
val
get : key
->
data
end