docs: def _contains_span(span0, span1):
      """Return true if span0 contains span1, False otherwise."""
      if (span0 == span1 or span0[0] > span1[0] or span0[1] < span1[1]):
          return False
      return True