Stream.Make
module _ : sig ... end
module Source : sig ... end
module Dest : sig ... end
module Register : sig ... end