unnamed

Unnamed types are normally used in symmetry breaking at specification level. Members of this type can’t be referred to individually, and only support equality operators.

It is declared using

letting <name> be new type of size <expression>

as demonstrated here.