Z3.jl
Z3.jl copied to clipboard
# Prevent initialisation of types
Many types are just wrappers around a Ptr{Void}. It seems like these types can be initialised with anything, which led to some annoying bugs.
I should prevent this so that they should be only initializable with a Ptr{Void}