sig
type
key =
Cil_types
.fieldinfo
type
data =
Lang
.lfun
val
get : key
->
data
end