emptyParams method

Params emptyParams()

Create an empty params object.

Implementation

Params emptyParams() => Params._(this, _z3.mk_params());