The most recent version of this documentation can be found at https://docs.dyalog.com/20.0/.

Rotate First R←X⊖[K]Y

The form R←X⊖Y implies rotation along the first axis.  See Rotate.