paramDesc property

ParamDescs paramDesc

Parameter descriptions for config.

Implementation

late final paramDesc = ParamDescs._(this, _z3.get_global_param_descrs());