simplifyParamDescriptions property

ParamDescs simplifyParamDescriptions

Implementation

ParamDescs get simplifyParamDescriptions =>
    _getParamDescriptions(_z3.simplify_get_param_descrs());