added a function to delay messages in a stream, based on a function that computes the delay value for a message. In Coq, this function will just be a projection for the delay field of a message.
added a function to delay messages in a stream,
based on a function that computes the delay value for a message.
In Coq, this function will just be a projection for the delay field of a message.

aa755/roshask,aa755/roshask