chickadee
»
z3
»
z3:handle?
Identifier search
z3:handle?
X
procedure
Returns
#t
if
X
is a z3 handle or
#f
otherwise.