Skip to main content

Module display

Module display 

Source

Functionsยง

write_adt ๐Ÿ”’
write_name_or ๐Ÿ”’
Printing the name of a named type stops infinite recursion