abt

OCaml port of CMU's abstract binding trees
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

abt

Documentation:

  • Variable Variable.t is the equivalent of a non-persistent Ident.t in the Flambda tree. It wraps an Ident.t together with its source compilation_unit. As such, it is unique within a whole program, not just one compilation unit.
  • Operator
  • Util
  • Abt
  • Abt_util