 Set of well-order codes

The set $\mathrm{WF}\subseteq {\omega }^{\omega }$ consists of the reals coding well-orders of $\omega$. For $x\in \mathrm{WF}$, the norm $\Vert x\Vert$ is the order type of the well-order coded by $x$.