Module Agent.SetMapSource

Sourcetype elt = t
Sourcemodule Map : Kappa_data_structures.SetMap.Map with type elt = elt and type set = Set.t