addDebugCheckbox "disambiguation/refiner/unification/metasubst logging"
(fun mi () -> NCicRefiner.debug := mi#active; NCicUnification.debug :=
addDebugCheckbox "disambiguation/refiner/unification/metasubst logging"
(fun mi () -> NCicRefiner.debug := mi#active; NCicUnification.debug :=