package um-abt

You can search for identifiers within the package.

in-package search v0.2.0

An OCaml library implementing unifiable abstract binding trees (UABTs)

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

S

Shon Feder

Maintainers

S

shon.feder@gmail.com

Sources

um-abt-v0.1.5.tbz

sha256=d22a7c70f310a58c38906164fc8cef10b72da7989cf2686a51d6b75cf041e041

sha512=2fdc2823fe5d0d5a123e3daa7cc3c5e06b226caa2cbf3e8f824f24e87d595260b31787faa11961a1fb0f806fa0911894b31625daea2e6b980bb6a3b9330b9523

doc/index.html

um-abt

API

Library um-abt

Abt

On This Page

API
1. Library um-abt