在Dart中是否有用于对排序列表进行二进制搜索的标准库函数？

int binarySearch(List<int> sortedList, int target) {
  int min = 0;
  int max = sortedList.length - 1;

  while (min <= max) {
    int mid = min + ((max - min) ~/ 2); // 取中间位置

    if (sortedList[mid] == target) {
      return mid; // 找到目标元素，返回索引
    } else if (sortedList[mid] < target) {
      min = mid + 1; // 目标元素在右侧
    } else {
      max = mid - 1; // 目标元素在左侧
    }
  }

  return -1; // 没有找到目标元素
}

void main() {
  List<int> sortedList = [1, 3, 5, 7, 9, 11, 13];
  int target = 7;

  int index = binarySearch(sortedList, target);
  if (index != -1) {
    print('目标元素 $target 的索引为 $index');
  } else {
    print('未找到目标元素 $target');
  }
}