Std.Path.withExtension

fn

This is a callable function.

What it does

A path carrying the given extension, replacing any it had.

The dot is supplied here, so a caller writes txt rather than .txt and

the two spellings cannot produce two different names.

Read the signature

• The text after the name is the type checked by Pudu.
• Read arrows from left to right: inputs come first, and the final type is returned.