Lines Matching defs:rules
53 val rules = ``FEMPTY |+ ^exprpair |+ ^factorpair |+ ^termpair``
55 val G = ``<| start := nt (INL "expr") I; rules := ^rules |>``
84 val G_def = zDefine`G = <| start := nt (INL "expr") I; rules := ^rules |>`
88 ``G.rules ' (INL "expr") = ^(#2 (pairSyntax.dest_pair exprpair)) ���
89 G.rules ' (INL "factor") = ^(#2 (pairSyntax.dest_pair factorpair)) ���
90 G.rules ' (INL "term") = ^(#2 (pairSyntax.dest_pair termpair)) ���
91 INL "expr" ��� FDOM G.rules ���
92 INL "term" ��� FDOM G.rules ���
93 INL "factor" ��� FDOM G.rules``,