Module Cilutil.IntMapl


module IntMapl: sig .. end

type key = int 
type 'a map 
val empty : 'a map
val add : key -> 'a -> 'a map -> 'a map
val find : key -> 'a map -> 'a list