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.dimacs/Dolmen_dimacs/index.html

Module `Dolmen_dimacs`Source

Dimacs language input

Sourcemodule type Term = sig ... end

Sourcemodule type Statement = sig ... end

Implementation requirement for the Dimacs format.

Source

module Make
  (L : Dolmen_intf.Location.S)
  (T : Term with type location := L.t)
  (S : Statement with type location := L.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 dimacs format.