You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.export
Export
module Dk : sig ... end
Export a Lambdapi signature to Dedukti.
module Hrs : sig ... end
This module provides a function to translate a signature to the HRS format used in the confluence competition.
module Xtc : sig ... end
This module provides a function to translate a signature to the XTC format used in the termination competition.