Module Solving.Z3arithSource

module B = Kernel.Basic
module L = Common.Logic
module U = Common.Universes
module ZA = Z3.Arithmetic
module ZB = Z3.Boolean
module ZI = ZA.Integer
Sourcemodule Make (Spec : L.LRA_SPECIFICATION) : sig ... end