Module cli 

Modules

analyze 🔒

check 🔒

verify 🔒

Structs

AdgArgs

CheckArgs

Arguments for the check command.

RapxArgs

VerifyArgs

Arguments for the verify command.

Enums

AliasStrategyKind

AnalysisKind

Commands

OptLevel