syntaxtypes
cfamily.SyntaxMap
Section titled “cfamily.SyntaxMap”record SyntaxMapHow to rewrite syntax: each type and each expression, after its parts have been rewritten.
cfamily.SyntaxMap.types
Section titled “cfamily.SyntaxMap.types”def SyntaxMap.types (change : TypeSyntax -> TypeSyntax) : SyntaxMapRewriting only the types, by change.