94 ("hide_consts", "show_consts")] |
94 ("hide_consts", "show_consts")] |
95 |
95 |
96 fun is_known_raw_param s = |
96 fun is_known_raw_param s = |
97 AList.defined (op =) default_default_params s orelse |
97 AList.defined (op =) default_default_params s orelse |
98 AList.defined (op =) negated_params s orelse |
98 AList.defined (op =) negated_params s orelse |
99 member (=) ["max", "show_all", "whack", "eval", "need", "atoms", |
99 member (op =) ["max", "show_all", "whack", "eval", "need", "atoms", |
100 "expect"] s orelse |
100 "expect"] s orelse |
101 exists (fn p => String.isPrefix (p ^ " ") s) |
101 exists (fn p => String.isPrefix (p ^ " ") s) |
102 ["card", "max", "iter", "box", "dont_box", "finitize", "dont_finitize", |
102 ["card", "max", "iter", "box", "dont_box", "finitize", "dont_finitize", |
103 "mono", "non_mono", "wf", "non_wf", "format", "atoms"] |
103 "mono", "non_mono", "wf", "non_wf", "format", "atoms"] |
104 |
104 |