paramDesc property

ParamDescs paramDesc
latefinal

Implementation

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