simplifyParamDescriptions property

ParamDescs get simplifyParamDescriptions

Gets a description of all of the available parameters to the simplify function.

Implementation

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