Functor ZZ3.Make

module Make (C : ZZ3_sigs.Context) : ZZ3_sigs.S 

val ctx : Z3.context

type zint = [ `Int ] 

type zbool = [ `Bool ] 

type zreal = [ `Real ] 

type znum = [ `Int | `Real ] 

type zany = [ `Bool | `Int | `Real ] 

type ('domain, 'range) zarray = [ `Zarray of 'domain * 'range ] 

type ('_, '_) typ = 

type 'a term = private Z3.Expr.expr 

type ('a, 'b) symbol 

module Symbol: sig .. end

module T: sig .. end

module Z3Array: sig .. end

type sat = 

module Solver: sig .. end

module Model: sig .. end