>echo</span> line, <span class="hljs-string">&quot; -&gt; &quot;</span>, parse(line)
    <span class="hljs-keyword">echo</span> parse(line).lefts

nbSave

</code></pre>
</section><script>
function toggleSourceDisplay() {
  var btn = document.getElementById("show")
  var source = document.getElementById("source");
  if (btn.innerHTML=="Show Source") {
    btn.innerHTML = "Hide Source";
    source.style.display = "block";
  } else {
    btn.innerHTML = "Show Source";
    source.style.display = "none";
  }
}
<