staticanalysis-0.0.0.1: Reusable static analysis interfaces and modules.
StaticAnalysis.All
module StaticAnalysis.Analysis
module StaticAnalysis.Annotated