sS splitAtDoubleArrow_lhs(S s) {
  ret pairA(splitAtDoubleArrow_pair(s);
}

sS splitAtDoubleArrow_lhs(LS tok) {
  ret pairA(splitAtDoubleArrow_pair(tok));
}