chickadee » z3 » z3:handle?

z3:handle? Xprocedure

Returns #t if X is a z3 handle or #f otherwise.