You're correct, I don't think they're physically separated.

https://wiki.openstreetmap.org/wiki/Key:turn#Example_for_a_road_with_both_directions

Looks like it should be this:
turn:lanes:backward=left|through