Module Agent.SetMap

type elt = t
module Set : Kappa_generic_toolset.SetMap.Set with type elt = elt
module Map : Kappa_generic_toolset.SetMap.Map with type elt = elt and type set = Set.t