Make a total order between readonly L[] and readonly R[] from the total order between L and R.
readonly L[]
readonly R[]
L
R
A total order between readonly L[] and readonly R[]
Make a total order between
readonly L[]andreadonly R[]from the total order betweenLandR.