private boolean jj_3R_15()
 {
    if (jj_scan_token(FUN)) return true;
    if (jj_3R_17()) return true;
    if (jj_scan_token(ARROW)) return true;
    if (jj_3R_11()) return true;
    return false;
  }