The types of the Implementation and Implementations modules, which have a dependency cyle: Implementation -> Direct_stream_writer -> Implementations -> Implementation.
Implementation
Implementations
Direct_stream_writer