package links
val show_unification : bool Settings.settingval show_row_unification : bool Settings.settingval infer_recursive_types : string Settings.settingval show_unification : bool Settings.settingval show_row_unification : bool Settings.settingval infer_recursive_types : string Settings.setting