feat: add qualifiers for Arg and Flag to disambiguate Cli.{Parsed.}Flag#20

bollu wants to merge 1 commit into

leanprover:mainleanprover/lean4-cli:mainfrom

opencompl:adapt-to-recursive-structuresopencompl/lean4-cli:adapt-to-recursive-structuresCopy head branch name to clipboard