um-abt: an OCaml library for unifiable abstract binding trees

made and submitted by Shon
um-abt is a library for working with the abstract syntax of languages that use variables. It provides "unifiable abstract binding trees" (UABTs): abstract syntax trees (ASTs), enriched with constructs to manage variable binding and (nominal) unification.