functor (V : T) ->
  functor (T : T) ->
    sig
      module type S =
        sig
          val of_v :
            V.t -> Versioned_typed_tcp.Datumable_of_binable.T.t option
          val to_v :
            Versioned_typed_tcp.Datumable_of_binable.T.t -> V.t option
        end
    end