S.DISSEMINATION
type nid
type node
type view
type mid
type seen
val init_seen : int -> seen
val forward : view:view -> seen:seen -> mid:mid -> src:node -> me:node -> fanout:int -> view * seen