Open matyaskopp opened 6 years ago
this can be shortcut for this complicated constructions: a-node $a := []; a-node $b := [ord = $a.ord + 1, same-tree-as $a];
a-node $a := []; a-node $b := [ord = $a.ord + 1, same-tree-as $a];
or a-root [ descendant a-node $a := [], descendant a-node $b := [ord = $a.ord + 1] ];
a-root [ descendant a-node $a := [], descendant a-node $b := [ord = $a.ord + 1] ];
this can be shortcut for this complicated constructions:
a-node $a := []; a-node $b := [ord = $a.ord + 1, same-tree-as $a];or
a-root [ descendant a-node $a := [], descendant a-node $b := [ord = $a.ord + 1] ];