package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

package dedukti

dedukti.kernel
- Basic
  - LList
- Confluence
- Dtree
- Entry
- Env
- Errors
- Matching
- Pp
- Reduction
- Rule
- Signature
- Subst
  - Subst
- Term
- Typing
- Version
dedukti.parser
- Parser

Legend:
Library
Module
Module type
Parameter
Class
Class type

val version : string