t; bytes list</pre><div class="info ">
<div class="info-desc">
<p><code class="code">split_on_char&nbsp;sep&nbsp;s</code> returns the list of all (possibly empty)
    subsequences of <code class="code">s</code> that are delimited by the <code class="code">sep</code> character.</p>

<p>The function's output is specified by the following invariants:</p>

<ul>
<li>The list is not empty.</li>
<li>Concatenating its elements using <code class="code">sep</code> as a separator returns a
      byte sequence equal to