_:n118c7cf17a86426685d54257103d80adxb1
<http://schema.org/text>
"Moldified from section 2 of: <a href=\"https://v2.ocaml.org/releases/5.0/htmlman/coreexamples.html\" class=\"inline-onebox\">OCaml - The core language</a>\n\nopen Core\n\nlet rec sort (lst : &#39;a list) =\n\nmatch lst with\n\n| [] -&gt; []\n\n| head :: tail -&gt; insert head (sort tail)\n\nand insert elt lst =\n\nlet open Poly in\n\nmatch lst with\n\n| [] -&gt; [ elt ]\n\n| head :: tail -&gt; if elt &lt;= head &hellip;"
<https://discuss.ocaml.org/t/help-making-this-poly-generic-code-compile/12274>