public static NavigatablePsiElement getNavigatableSpecFun(final String presentation, PsiElement callbackSpec) {
ErlangSpecFun specFun = PsiTreeUtil.findChildOfType(callbackSpec, ErlangSpecFun.class);
if (specFun == null) return null;
return new ErlangCompositeElementImpl(specFun.getNode()) {
@Override
public ItemPresentation getPresentation() {
return new ItemPresentation() {
@Nullable
@Override