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