rotateLeft / rotateRight don't work when called with a Nat value
rotateLeft / rotateRight don't work when called with a Nat value: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). rotateLeft / rotateRight don't work when called with a Nat value HListOps and TupleOps both expose a rotateLeft / rotateRight that's supposed to mirror the style…
The task
rotateLeft / rotateRight don't work when called with a Nat value HListOps and TupleOps both expose a rotateLeft / rotateRight that's supposed to mirror the style of take, drop, apply, split, ... — i.e. you can call it either with an explicit type argument or by passing a Nat…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.