Shape.Flag_infoSourcetype t = {name : Base.string;See flag_name below.
doc : Base.string;aliases : Base.string Base.list;}flag_name infers the string which one would pass on the command line. It is not the same as the raw name field, which additionally encodes num_occurrences and requires_arg (sort of).
requires_arg gives undefined behavior on escape flags. This is a limitation of the underlying shape representation.