Opam Package menhirSdk.20210310

Package info

opam-namemenhirSdk
opam-version20210310
synopsisCompile-time library for auxiliary tools related to Menhir
authors
  • François Pottier <francois.pottier@inria.fr>
  • Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
homepagehttp://gitlab.inria.fr/fpottier/menhir
deps (2)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

menhirSdk

Package files

lib/menhirSdk/version.ml
lib/menhirSdk/menhirSdk__Version.cmx
lib/menhirSdk/menhirSdk__Version.cmt
lib/menhirSdk/menhirSdk__Version.cmi
lib/menhirSdk/menhirSdk__Keyword.cmx
lib/menhirSdk/menhirSdk__Keyword.cmti
lib/menhirSdk/menhirSdk__Keyword.cmt
lib/menhirSdk/menhirSdk__Keyword.cmi
lib/menhirSdk/menhirSdk__Cmly_read.cmx
lib/menhirSdk/menhirSdk__Cmly_read.cmti
lib/menhirSdk/menhirSdk__Cmly_read.cmt
lib/menhirSdk/menhirSdk__Cmly_read.cmi
lib/menhirSdk/menhirSdk__Cmly_format.cmx
lib/menhirSdk/menhirSdk__Cmly_format.cmt
lib/menhirSdk/menhirSdk__Cmly_format.cmi
lib/menhirSdk/menhirSdk__Cmly_api.cmx
lib/menhirSdk/menhirSdk__Cmly_api.cmt
lib/menhirSdk/menhirSdk__Cmly_api.cmi
lib/menhirSdk/menhirSdk.ml
lib/menhirSdk/menhirSdk.cmxs
lib/menhirSdk/menhirSdk.cmxa
lib/menhirSdk/menhirSdk.cmx
lib/menhirSdk/menhirSdk.cmt
lib/menhirSdk/menhirSdk.cmi
lib/menhirSdk/menhirSdk.cma
lib/menhirSdk/menhirSdk.a
lib/menhirSdk/keyword.mli
lib/menhirSdk/keyword.ml
lib/menhirSdk/dune-package
lib/menhirSdk/cmly_read.mli
lib/menhirSdk/cmly_read.ml
lib/menhirSdk/cmly_format.ml
lib/menhirSdk/cmly_api.ml
lib/menhirSdk/META
lib/menhirSdk
doc/menhirSdk/LICENSE
doc/menhirSdk