sig
type key = int
type 'a map
val empty : 'a Cilutil.IntMapl.map
val add :
Cilutil.IntMapl.key ->
'a -> 'a Cilutil.IntMapl.map -> 'a Cilutil.IntMapl.map
val find : Cilutil.IntMapl.key -> 'a Cilutil.IntMapl.map -> 'a list
end