package term-tools

You can search for identifiers within the package.

in-package search v0.2.0

Various tools for manipulating first-order terms

Install

md5=75acb747da03c0cd94d22c7f57cf0b1b

sha512=594187718db0e8b6decd40b353b1b3dad883deb59b7196378bb16783d22070d853f1ab5c5017d5eb826f8c435fde991769a0fe557e31abb2c50953f0e757525a

This library provides various tools for manipulating first-order terms, such as pretty-printing, substitution, unification, etc.

term-tools provides facilities to perform term rewriting, unification and other basic operations on first-order terms.

Look no further for the documentation.

None

None

On This Page