Alias for TIDEAKey
Source position: idea.pp line 63
type IDEAkey = TIDEAKey;
Provided for backward functionality.
TIDEAKey
Type for holding a user IDEA key