package term-tools
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Various tools for manipulating first-order terms
Install
Dune Dependency
Authors
Maintainers
Sources
0.0.2.tar.gz
md5=75acb747da03c0cd94d22c7f57cf0b1b
sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a
Description
This library provides various tools for manipulating first-order terms, such as pretty-printing, substitution, unification, etc.
Dependencies (7)
-
fmt
>= "0.9.0" -
printbox-text
>= "0.9.0" -
printbox
>= "0.11" -
containers
>= "3.13.1" -
hashcons
>= "1.4.0" -
ocaml
>= "4.14" -
dune
>= "3.0"
Dev Dependencies (5)
-
odoc
with-doc -
qcheck-alcotest
>= "0.21" & with-test -
qcheck-core
>= "0.21" & with-test -
qcheck
>= "0.21" & with-test -
alcotest
>= "0.8.1" & with-test
Used by
None
Conflicts
None
On This Page