package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Term.Raw`Source

Basic printing function (for debug).

Sourceval sym : sym Lplib.Base.pp

Sourceval term : term Lplib.Base.pp

Sourceval ctxt : ctxt Lplib.Base.pp