Q: Simultaneous animation of two code blocks

[lenianiva]

Is there a way to have the animation in two code blocks advance in lockstep? e.g. (replacing inner backtick with -)

---lean [1|2]
#check 1
#check "Hi"
---
---lean [1|2]
Nat
String
---

In the first frame, the two line 1's will be highlighted. In the second frame, the two line 2's will be highlighted.