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.