import javascript

query predicate test_Parameter_getDocumentation(Parameter p, JSDoc res) {
  res = p.getDocumentation()
}