Module Exception (.ml)

module Exception: sig .. end

exception Unsolvable

exception Inconsistent of Explanation.t

exception Progress

exception NotCongruent

exception Trivial

exception Interpreted_Symbol