跳到內容

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.