Documentation · tyabt 0.1.0 · OCaml Packages

tyabt

Strongly typed many-sorted abstract binding trees (ABTs)

Libraries
- tyabt

tyabt
- Tyabt
  - Make
    
    1-Sort
    
    2-Operator
    
    Operator
    
    Sort
    
    Variable
  - Operator
  - S
    
    Operator
    
    Sort
    
    Variable
  - Sort
  - Variable

Legend:
Library
Module
Module type
Parameter
Class
Class type

Libraries

This package provides the following libraries (via dune):

tyabt

Documentation: Tyabt