Reference

API documentation for the libraries behind this site, built with odoc straight from an opam switch. Every code example is a live toplevel: the packages are compiled to JavaScript so you can run and edit them in the page.

There are two universes, one per compiler: