Opam Package dolmen_loop.0.5

Package info

opam-namedolmen_loop
opam-version0.5
synopsisA tool library for automated deduction tools
description Dolmen Loop is a library of useful helpers to parse and loop over statements found in automated deduction files.
authors
  • Guillaume Bury <guillaume.bury@gmail.com>
homepagehttps://github.com/Gbury/dolmen
licenseBSD-2-Clause
changes-fileCHANGES.md
readme-fileREADME.md
deps (6)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

dolmen_loop

Package files

lib/dolmen_loop/typer_intf.ml
lib/dolmen_loop/typer.mli
lib/dolmen_loop/typer.ml
lib/dolmen_loop/state_intf.ml
lib/dolmen_loop/state.ml
lib/dolmen_loop/pipeline.mli
lib/dolmen_loop/pipeline.ml
lib/dolmen_loop/parser.mli
lib/dolmen_loop/parser.ml
lib/dolmen_loop/opam
lib/dolmen_loop/logic.mli
lib/dolmen_loop/logic.ml
lib/dolmen_loop/headers_intf.ml
lib/dolmen_loop/headers.mli
lib/dolmen_loop/headers.ml
lib/dolmen_loop/expr_intf.ml
lib/dolmen_loop/dune-package
lib/dolmen_loop/dolmen_loop__Typer_intf.cmx
lib/dolmen_loop/dolmen_loop__Typer_intf.cmt
lib/dolmen_loop/dolmen_loop__Typer_intf.cmi
lib/dolmen_loop/dolmen_loop__Typer.cmx
lib/dolmen_loop/dolmen_loop__Typer.cmti
lib/dolmen_loop/dolmen_loop__Typer.cmt
lib/dolmen_loop/dolmen_loop__Typer.cmi
lib/dolmen_loop/dolmen_loop__State_intf.cmx
lib/dolmen_loop/dolmen_loop__State_intf.cmt
lib/dolmen_loop/dolmen_loop__State_intf.cmi
lib/dolmen_loop/dolmen_loop__State.cmx
lib/dolmen_loop/dolmen_loop__State.cmt
lib/dolmen_loop/dolmen_loop__State.cmi
lib/dolmen_loop/dolmen_loop__Pipeline.cmx
lib/dolmen_loop/dolmen_loop__Pipeline.cmti
lib/dolmen_loop/dolmen_loop__Pipeline.cmt
lib/dolmen_loop/dolmen_loop__Pipeline.cmi
lib/dolmen_loop/dolmen_loop__Parser.cmx
lib/dolmen_loop/dolmen_loop__Parser.cmti
lib/dolmen_loop/dolmen_loop__Parser.cmt
lib/dolmen_loop/dolmen_loop__Parser.cmi
lib/dolmen_loop/dolmen_loop__Logic.cmx
lib/dolmen_loop/dolmen_loop__Logic.cmti
lib/dolmen_loop/dolmen_loop__Logic.cmt
lib/dolmen_loop/dolmen_loop__Logic.cmi
lib/dolmen_loop/dolmen_loop__Headers_intf.cmx
lib/dolmen_loop/dolmen_loop__Headers_intf.cmt
lib/dolmen_loop/dolmen_loop__Headers_intf.cmi
lib/dolmen_loop/dolmen_loop__Headers.cmx
lib/dolmen_loop/dolmen_loop__Headers.cmti
lib/dolmen_loop/dolmen_loop__Headers.cmt
lib/dolmen_loop/dolmen_loop__Headers.cmi
lib/dolmen_loop/dolmen_loop__Expr_intf.cmx
lib/dolmen_loop/dolmen_loop__Expr_intf.cmt
lib/dolmen_loop/dolmen_loop__Expr_intf.cmi
lib/dolmen_loop/dolmen_loop__Code.cmx
lib/dolmen_loop/dolmen_loop__Code.cmti
lib/dolmen_loop/dolmen_loop__Code.cmt
lib/dolmen_loop/dolmen_loop__Code.cmi
lib/dolmen_loop/dolmen_loop.ml
lib/dolmen_loop/dolmen_loop.cmxs
lib/dolmen_loop/dolmen_loop.cmxa
lib/dolmen_loop/dolmen_loop.cmx
lib/dolmen_loop/dolmen_loop.cmt
lib/dolmen_loop/dolmen_loop.cmi
lib/dolmen_loop/dolmen_loop.cma
lib/dolmen_loop/dolmen_loop.a
lib/dolmen_loop/code.mli
lib/dolmen_loop/code.ml
lib/dolmen_loop/META
lib/dolmen_loop
doc/dolmen_loop/README.md
doc/dolmen_loop/LICENSE
doc/dolmen_loop/CHANGES.md
doc/dolmen_loop