validate method

void validate(
  1. ParamDescs descriptions
)

Implementation

void validate(ParamDescs descriptions) {
  _c._z3.params_validate(_params, descriptions._desc);
}