static SS parseDoubleLeftArrowMapCI_tlft(S s) {
  ret parseDoubleLeftArrowMapCI(tlft(s));
}