mc2.lra
LE.Infix
mc2.backend
mc2.core
mc2.dimacs
mc2.propositional
mc2.smtlib
mc2.uf
mc2.unin_sort
val (+..) : t -> t -> t
val (-..) : t -> t -> t
val (*..) : num -> t -> t