<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">If the function returned a list of at least one non-empty string, it would have the following type instead:<br>

<br>
        [[char(),...],...]<br>
<br>
If empty strings were allowed but there needed to be at least one of them, the return type would have been:<br>
<br>
        [[char()],...]<br>
<br>
Hope this clears up the issue.<br>
</blockquote><div><br>Yes, it does. Thanks for clarifying that.<br> </div></div></div>