Set Theoretic Types

Building requires OCaml >= 4.08, dune >= 3.7, zarith, menhir, menhirLib and sedlex. Once these dependencies are installed, one may build the library with dune build.

A sample program bin/stt.exe parses type definitions.