426 ("eta_contract", setmp_CRITICAL Syntax.eta_contract o boolean), |
426 ("eta_contract", setmp_CRITICAL Syntax.eta_contract o boolean), |
427 ("display", setmp_CRITICAL display o boolean), |
427 ("display", setmp_CRITICAL display o boolean), |
428 ("break", setmp_CRITICAL break o boolean), |
428 ("break", setmp_CRITICAL break o boolean), |
429 ("quotes", setmp_CRITICAL quotes o boolean), |
429 ("quotes", setmp_CRITICAL quotes o boolean), |
430 ("mode", fn s => fn f => PrintMode.with_modes [s] f), |
430 ("mode", fn s => fn f => PrintMode.with_modes [s] f), |
431 ("margin", Pretty.setmp_margin_CRITICAL o integer), |
431 ("margin", setmp_CRITICAL Pretty.margin_default o integer), |
432 ("indent", setmp_CRITICAL indent o integer), |
432 ("indent", setmp_CRITICAL indent o integer), |
433 ("source", setmp_CRITICAL source o boolean), |
433 ("source", setmp_CRITICAL source o boolean), |
434 ("goals_limit", setmp_CRITICAL goals_limit o integer)]; |
434 ("goals_limit", setmp_CRITICAL goals_limit o integer)]; |
435 |
435 |
436 |
436 |