Module pretty

Source

Functionsยง

write_smir_pretty