F#: Meaning of “type X = Y of Z”

Question

What does type X = Y of Z mean in F#? In particular, does the Y token have any material purpose? If I want to express the fact that X is a type backed by the un