type t = Univ_map.t -> part:Base.String.t -> Base.String.t Base.List.t
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 toArg_type.create
.