code: function mergeable(c1, c2, source) {
    if (c1["type"] == "Line" && c2["type"] == "Line") {
      var x = /^(\r\n|\n|\r)?[ \t]*$/.test(source.slice(c1["range"][1], c2["range"][0]));
      return x;
    }
    else
      return false;
  }
docs: /*
  Two comments can be merged if they are both line-comments and
  they are separated only by whitespace (only one newline at the
  end of the first comment is allowed)