STYLE: use the more succinct forms for argList (issue #307)
* args[int] vs args.args()[int] * args[word] vs args.options()[word] etc.
Please register or sign in to comment
* args[int] vs args.args()[int] * args[word] vs args.options()[word] etc.