Application.Mkval sign_ : Upsycle_router__Commons.privkey -> body -> Com.signatureval mk_ :
ttl:int ->
exp:int ->
seen:Com.seen ->
deps:Com.msg_id list ->
from:Com.pubkey ->
to':Com.pubkey ->
seq:{U32}3.t ->
body ->
Upsycle_router__Commons.multicast_group_rw ->
stringval encoded_ack :
ttl:int ->
exp:int ->
seen:Com.seen ->
deps:Com.msg_id list ->
from:Com.pubkey ->
to':Com.pubkey ->
seq:{U32}3.t ->
Upsycle_router__Commons.multicast_group_rw ->
stringval encoded_unicast :
ttl:int ->
exp:int ->
seen:Com.seen ->
deps:Com.msg_id list ->
from:Com.pubkey ->
to':Com.pubkey ->
seq:{U32}3.t ->
Upsycle_router__Commons.multicast_group_rw ->
string ->
stringval encoded_multicast :
ttl:int ->
exp:int ->
seen:Com.seen ->
deps:Com.msg_id list ->
from:Com.pubkey ->
to':Com.pubkey ->
seq:{U32}3.t ->
Upsycle_router__Commons.multicast_group_rw ->
string ->
stringval encoded_member_add :
ttl:int ->
exp:int ->
seen:Com.seen ->
deps:Com.msg_id list ->
from:Com.pubkey ->
to':Com.pubkey ->
seq:{U32}3.t ->
Upsycle_router__Commons.multicast_group_rw ->
Com.pubkey list ->
stringval encoded_member_remove :
ttl:int ->
exp:int ->
seen:Com.seen ->
deps:Com.msg_id list ->
from:Com.pubkey ->
to':Com.pubkey ->
seq:{U32}3.t ->
Upsycle_router__Commons.multicast_group_rw ->
Com.pubkey list ->
string