static int tok_countDoubleArrows(S s) {
  ret tok_countDoubleArrows(javaTok(s));
}

static int tok_countDoubleArrows(L<S> tok) {
  ret countSubList(tok, "=", "", ">");
}