syntaxnodes
本頁內容尚未翻譯。
cfamily.Syntax.node
Section titled “cfamily.Syntax.node”def Syntax.node (head : String) (k : Nat) : NodeIdThe k-th fresh node under a head.
本頁內容尚未翻譯。
def Syntax.node (head : String) (k : Nat) : NodeIdThe k-th fresh node under a head.