Command to display getCDKMenuTitleHighlight manual in Linux: $ man 3 getCDKMenuTitleHighlight
getCDKMenuTitleHighlight
$ man 3 getCDKMenuTitleHighlight
Please check the manual page cdk_menu(3).