implementation("io.arrow-kt:arrow-analysis-types:2.0.3-alpha.2")
Enhances static code analysis by providing specialized types for precise program behavior verification.