S.PUBSUB
Publish-subscribe message dissemination
type nid
type node
type view
type mid
type gid
type group
module Pub : sig ... end
module Sub : SUBSCRIPTION with type gid := gid and type group := group