prelude-plugin @prefix: @type: @name: @p: @p: @str: @p: @func: @pe: @pl: @pe: @opt: @commit: @Returns: @pi: @Returns: @pi: @Returns: @pi: @plugin: @name: @data: @Returns: @head: @name: @Returns: @head: @pname: @iname: @Returns: @pi: @data: @pi: @Returns: @pi: @data: @pi: @Returns: @pi: @Returns: @pi: @Returns: @head: @dirname: @symbol: @ptr: @subscribe: @unsubscribe: @Returns: @pi: @h: @Returns: @pi: @pi: @start: @end: @pi: @err: @Returns: @pi: @Returns: @symlist: @head: @iter: @Returns: @plugin: @pi: @func: @pi: @type: @member: @...: