Functor Versioned_typed_tcp.Datumable_of_binable.V

module V: 
functor (V : T) -> 
functor (T : T) -> sig .. end

module type S = sig .. end