tyabt

Strongly typed many-sorted abstract binding trees (ABTs)

Libraries

This package provides the following libraries (via dune):

tyabt

Documentation: Tyabt