write_extended_prefix_map

write_extended_prefix_map(converter: Converter, path: str | Path) → None[source]

Write an extended prefix map as JSON to a file.