Skip to content

syntaxtypes

record SyntaxMap

How to rewrite syntax: each type and each expression, after its parts have been rewritten.

def SyntaxMap.types (change : TypeSyntax -> TypeSyntax) : SyntaxMap

Rewriting only the types, by change.