You have forgotten @opaque which is for types as well.
In generall, you can look up all “official” module attributes which are “reserved” in the documentation of the Module-module ![]()
You have forgotten @opaque which is for types as well.
In generall, you can look up all “official” module attributes which are “reserved” in the documentation of the Module-module ![]()