docs: function getParamsDetails(spec_c) {
    var paras = getChildren(spec_c, 'para');
    var details = _.find(_.map(paras, function(para) {
      return getChild(para, 'parameterlist');
    }), function(obj) { return (obj != undefined); });
    return (details ? details.children : undefined);
  }