let remove_min (heap: heap) : data =
    let min =
      remove_min' heap
    in
      check heap;
      min