`module AccessExpression : sig ... end`
`module AccessPath : sig ... end`
`module Annot : sig ... end`
`module Attributes : sig ... end`
`module BUILTINS : sig ... end`
`module Binop : sig ... end`
`module BuiltinDecl : sig ... end`
`module CallFlags : sig ... end`
`module CallSite : sig ... end`
`module Cfg : sig ... end`
`module Const : sig ... end`
`module DecompiledExp : sig ... end`
`module Errlog : sig ... end`
`module Exceptions : sig ... end`
`module Exp : sig ... end`
`module HilExp : sig ... end`
`module HilInstr : sig ... end`
`module Ident : sig ... end`
`module Instrs : sig ... end`
`module IntLit : sig ... end`
`module Io_infer : sig ... end`
`module IssueLog : sig ... end`
`module Localise : sig ... end`
`module Mangled : sig ... end`
`module Mleak_buckets : sig ... end`
`module Objc_models : sig ... end`
`module PredSymb : sig ... end`
`module ProcAttributes : sig ... end`
`module Procdesc : sig ... end`
`module ProcnameDispatcher : sig ... end`
`module Pvar : sig ... end`
`module QualifiedCppName : sig ... end`
`module Sil : sig ... end`
`module SourceFiles : sig ... end`
`module Subtype : sig ... end`
`module Tenv : sig ... end`
`module Typ : sig ... end`
`module Unop : sig ... end`
`module Var : sig ... end`