In the section 3.3.11 (Defined Types) of wasm-3.0's spec the following sentence appears:
Note that there is no explicit definition of type _equivalence_
(with the underscores).
It might a typo as I couldn't find this kind of formatting anywhere else in the spec. Looking at the context and the fact that underscores mean italic in markdown, what was originally meant could be equivalence.