Auto_complete.For_escapetype t = Univ_map.t -> part:Base.string Base.list -> Base.string Base.listFor the escape flag, it's more useful if the auto-completion spec has access to all past arguments after the flag, hence the part:string list argument.