`module CommandDoc : sig ... end`
`module CommandLineOption : sig ... end`
`module Config : sig ... end`
`module DB : sig ... end`
`module Die : sig ... end`
`module Epilogues : sig ... end`
`module EventLogger : sig ... end`
`module FileDiff : sig ... end`
`module IssueType : sig ... end`
`module JsonBuilder : sig ... end`
`module Language : sig ... end`
`module Location : sig ... end`
`module Logging : sig ... end`
`module MarkupFormatter : sig ... end`
`module MergeResults : sig ... end`
`module Multilinks : sig ... end`
`module Process : sig ... end`
`module ProcessPool : sig ... end`
`module ProcessPoolState : sig ... end`
`module ResultsDatabase : sig ... end`
`module ResultsDir : sig ... end`
`module RunState : sig ... end`
`module Serialization : sig ... end`
`module SourceFile : sig ... end`
`module SqliteUtils : sig ... end`
`module SymOp : sig ... end`
`module Utils : sig ... end`
`module Version : sig ... end`
`module ZipLib : sig ... end`