Dolmen_type.Arith
module Smtlib2 : sig ... end
Smtlib Integer and Real Arithmetic
module Tptp : sig ... end
TPTP Arithmetic