Yes, see this previous discussion:
Technically, that would be correct, though routers are more likely to understand hov=designated in the case where the entire roadway is for HOVs only. Think of *:lanes as the syntax for varying the value from one lane to another.
hov=designated
*:lanes