Module Command.Auto_complete

In addition to the argument prefix, an auto-completion spec has access to any previously parsed arguments in the form of a heterogeneous map into which those arguments may register themselves by providing a Univ_map.Key using the ~key argument to Arg_type.create.