Module type Stream.S

module Source : sig ... end
module Dest : sig ... end
module Register : sig ... end