static PairS splitAtDoubleArrow_pair(S s) {
  ret splitAtDoubleArrow_pair(javaTokWithBrackets(s));
}

static PairS splitAtDoubleArrow_pair(LS tok) {
  ret listToPair(splitAtDoubleArrow(tok));
}