/tests/examplefiles/sml/

• ../
• example.sml
• example.sml.output
• intsyn.fun
• intsyn.fun.output
• intsyn.sig
• intsyn.sig.output