Up – Package index » lambdapi » Library lambdapi.export » Export » Coq » Qid

Module `Coq.Qid`Source

lambdapi
- CHANGES
- README
- Library lambdapi.common
  - Common
- Library lambdapi.core
  - Core
- Library lambdapi.export
  - Export
    - Coq
      - Qid
      - QidMap
    - Dk
    - Hrs
    - Rawdk
    - Xtc
- Library lambdapi.handle
  - Handle
- Library lambdapi.lplib
  - Lplib
- Library lambdapi.lsp
  - Lsp
- Library lambdapi.parsing
  - Parsing
- Library lambdapi.pure
  - Pure
- Library lambdapi.tool
  - Tool
- Sources

Sourcetype t = Core.Term.qident

Sourceval compare : 'a -> 'a -> int