module type TransportSig = sig .. end
include Common_types.CoreModuleSig
type group
module Chan_to_group: functor (Types : sigend) -> ChanSrc_transport_to_group with
type transport_dsc = t and type group_dsc = group and
type d_t = Types.d_t and type c_t = Types.c_t
module Chan_from_group: functor (Types : sigend) -> ChanDest_group_to_transport with
type transport_dsc = t and type group_dsc = group and
type s_t = Types.s_t and type c_t = Types.c_t