It's should be a single highway line, since there's no physical separation between the directions; the wiki is quite clear: https://wiki.openstreetmap.org/wiki/Dual_carriageway

The cycle lane can be mapped with a cycleway:left=lane (depending on whcih direction the single carriageway will be drawn). For the problem with *where* the cycle lane is in comparison to the other lanes (parking etc), the tagging lower down on this page can be used: https://wiki.openstreetmap.org/wiki/Lanes (bicycle:lanes=yes|no|etc). However, this is still a quite complex problem that's being discussed: https://community.openstreetmap.org/t/making-lanes-orthagonal-and-consistent/105033

Either way, the current mapping standards stipulate that if there's no physical separation, all ways should be mapped as one and tagged accordingly.