Lines Matching defs:rules
25 rules : (int * grammar_rule) list,
41 above. The infix rules are in the rules field.
62 fun from rules parse_str str_print bare_names tstamp =
63 {rules = rules, parse_str = parse_str,
66 fun from' tstamp bare_names str_print parse_str rules =
67 {rules = rules, parse_str = parse_str,
70 fun to f {rules, parse_str, str_print, bare_names, tstamp} =
71 f rules parse_str str_print bare_names tstamp
77 TYG (update_G g (U #rules (f (#rules g))) $$)
202 val empty_grammar = TYG { rules = [],
210 fun rules (TYG gr) = {infixes = #rules gr, suffixes = keys (#bare_names gr)}
361 val TYG { rules = grules1, parse_str = abbrevs1,
363 val TYG { rules = grules2, parse_str = abbrevs2,
377 TYG { rules = merge_acc [] (grules1, grules2),
396 val {rules=g, parse_str=abbrevs, str_print=pmap, bare_names,... } = grm