The API of CallTargetForModules#ParamElement is documented.