Feature request: domain, range and params on FuncDecl #189
Description
It would be nice to have a way of getting these three in the z3 api. I know there are the bindings in z3-sys, but I would need to make my own version.
I could work on a pull-request if more people want these.