How to test the existence of an agent with a given ID?

[jonathan-laurent]

Is there a simple way to test whether or not an agent with a given ID is present in a mixture?

I looked at Edges.mli and the only thing I see is val is_agent : Agent.t -> t -> bool where Agent.t is a pair of an agent ID and a type ID. Note that most functions in Edges.mli work with Agent IDs and not with the Agent.t type.

I cannot use this function because the code I am working with does not have access to the type of the agent.

I suggest adding: val is_agent_id: int -> t -> bool to the API.