AltErgoLib.Th_util
type answer = (Explanation.t * AltErgoLib.Expr.Set.t list) option
type theory =
| Th_arith
| Th_sum
| Th_adt
| Th_arrays
| Th_UF
type lit_origin =
| Subst
| CS of theory * Numbers.Q.t
| NCS of theory * Numbers.Q.t
| Other