Getting the @type module attribute

I’ve tried it and it’s somehow difficult to generate some specs because of the special syntaxes of @type and @spec (::, etc.). See also: Dynamically generate typespecs from module attribute list