package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

A parser library

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

G

Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

G

Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-v0.6.tbz

sha256=81b034da2de84da19fb6368aaa39135f6259ee2773ff08c8f03da9ceeb10748c

sha512=98786ff1cc5b0c8bc4cb2dfe756ae15556c3876a206546b04374826be7d0a422dd5526d93f09cb0ea0d4985b71c408c182a951d4df908399c7e04b17c91a7d70

doc/dolmen_tptp_v6_3_0/Dolmen_tptp_v6_3_0/index.html

Module `Dolmen_tptp_v6_3_0`Source

TPTP language input

Sourcemodule type Id = sig ... end

Sourcemodule type Term = sig ... end

Sourcemodule type Statement = sig ... end

Implementation requirement for the TPTP format.

Source

module Make
  (L : Dolmen_intf.Location.S)
  (I : Id)
  (T : Term with type location := L.t and type id := I.t)
  (S : 
    Statement with type location := L.t and type id := I.t and type term := T.t) : 
  Dolmen_intf.Language.S with type statement = S.t and type file := L.file

Functor to generate a parser for the TPTP format.