Message.Peer_advertisementtype 'service_type peer_service = | Peer_service of {service_type : 'service_type;service_addr : Com.pubkey;}type peer_services =
service_type_peer_discovery peer_service option
* service_type_pubsub peer_service optiontype t = | Peer_advertisement of {id : Com.pubkey;addr : addr;svcs : peer_services;grps : Commons.multicast_group_pubkey list;rev : revision;ttl : Com.ttl;exp : Com.expiry;sign : Com.signature;}module T : sig ... endmodule Acc : sig ... endmodule Encode : sig ... endmodule Decode : sig ... endmodule Pp : sig ... endmodule Mk : sig ... end