{impl->numElems} types impl->numElems impl->elems {impl->params} -> {impl->results} impl->params impl->results