Sdf Tools

Tools

• pack-sdf^? -- packs a set of SDF2 modules into a single definition
• parse-unit -- unit testing of SDF2 syntax definitions
• gen-renamed-sdf-module -- generates an SDF module that renames all sorts in an SDF syntax definition
• sdf2parenthesize -- generates a tool that adds all required parentheses to an AST

• sdf-label^?
• sdf-cons^?

• ...