Up – Package index » doc » Library dolmen.intf » Dolmen_intf » Id

Module `Dolmen_intf.Id`Source

Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.

doc
- CHANGES
- README
- Library dolmen
  - Dolmen
- Library dolmen.ae
  - Dolmen_ae
- Library dolmen.class
  - Dolmen_class
- Library dolmen.dimacs
  - Dolmen_dimacs
- Library dolmen.icnf
  - Dolmen_icnf
- Library dolmen.intf
  - Dolmen_intf
    - Id
      - Logic
      - Escape
    - Language
    - Lex
    - Location
    - Map
    - Msg
    - Parse
    - Stmt
    - Tag
    - Term
    - Tok
    - Ty
- Library dolmen.line
  - Dolmen_line
- Library dolmen.smtlib2
  - Dolmen_smtlib2
- Library dolmen.std
  - Dolmen_std
- Library dolmen.tptp
  - Dolmen_tptp
- Library dolmen.zf
  - Dolmen_zf
- Library dolmen_smtlib2_poly
  - Dolmen_smtlib2_poly
- Library dolmen_smtlib2_v6
  - Dolmen_smtlib2_v6
- Library dolmen_tptp_v6_3_0
  - Dolmen_tptp_v6_3_0
- Sources

Signature for Logic languages

Sourcemodule type Logic = sig ... end

Sourcemodule type Escape = sig ... end