# @wrap doing the wrong thing

[zenna]

#2 methods for generic function "model_eval":
model_eval(ctx::Z3.Context, m::Z3.Model, t::Union{Z3.AppAst{T},Z3.Ast,Z3.FuncDeclAst,Z3.NumeralAst{T<:Real},Z3.QuantifierAst,Z3.RealVarAst{T<:Real},Z3.SortAst,Z3.UnknownAst,Z3.VarAst{T}}, model_completion::Int32, v::Array{T,1})
model_eval(m::Z3.Model, t::Union{Z3.AppAst{T},Z3.Ast,Z3.FuncDeclAst,Z3.NumeralAst{T<:Real},Z3.QuantifierAst,Z3.RealVarAst{T<:Real},Z3.SortAst,Z3.UnknownAst,Z3.VarAst{T}}, model_completion::Int32, v::Array{T,1})

It interprets the last two params as model_completion::Int32, v::Array{T,1}

Should it?