emptyParams method

Params emptyParams()

Implementation

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