Opam Package psmt2-frontend.0.4.0

Package documentation pages

pages: doc/psmt2-frontend/odoc-pages/index.mld

Package info

opam-namepsmt2-frontend
opam-version0.4.0
synopsisThe psmt2-frontend project
description An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
authors
  • Albin Coquereau
homepagehttps://github.com/OCamlPro-Coquera/psmt2-frontend/
licenseApache-2.0
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
odoc-filedoc/psmt2-frontend/odoc-pages/index.mld
deps (7)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

psmt2-frontend

Package files

lib/psmt2-frontend/version.mli
lib/psmt2-frontend/version.ml
lib/psmt2-frontend/smtlib_typing.ml
lib/psmt2-frontend/smtlib_typed_logic.ml
lib/psmt2-frontend/smtlib_typed_env.ml
lib/psmt2-frontend/smtlib_ty.ml
lib/psmt2-frontend/smtlib_syntax.ml
lib/psmt2-frontend/smtlib_printer.ml
lib/psmt2-frontend/smtlib_parser.mli
lib/psmt2-frontend/smtlib_parser.ml
lib/psmt2-frontend/smtlib_lexer.ml
lib/psmt2-frontend/smtlib_error.ml
lib/psmt2-frontend/psmt2Frontend__Version.cmx
lib/psmt2-frontend/psmt2Frontend__Version.cmti
lib/psmt2-frontend/psmt2Frontend__Version.cmt
lib/psmt2-frontend/psmt2Frontend__Version.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
lib/psmt2-frontend/psmt2Frontend__Options.cmx
lib/psmt2-frontend/psmt2Frontend__Options.cmti
lib/psmt2-frontend/psmt2Frontend__Options.cmt
lib/psmt2-frontend/psmt2Frontend__Options.cmi
lib/psmt2-frontend/psmt2Frontend__Main.cmx
lib/psmt2-frontend/psmt2Frontend__Main.cmt
lib/psmt2-frontend/psmt2Frontend__Main.cmi
lib/psmt2-frontend/psmt2Frontend.ml
lib/psmt2-frontend/psmt2Frontend.cmxs
lib/psmt2-frontend/psmt2Frontend.cmxa
lib/psmt2-frontend/psmt2Frontend.cmx
lib/psmt2-frontend/psmt2Frontend.cmt
lib/psmt2-frontend/psmt2Frontend.cmi
lib/psmt2-frontend/psmt2Frontend.cma
lib/psmt2-frontend/psmt2Frontend.a
lib/psmt2-frontend/options.mli
lib/psmt2-frontend/options.ml
lib/psmt2-frontend/opam
lib/psmt2-frontend/main.ml
lib/psmt2-frontend/dune-package
lib/psmt2-frontend/META
lib/psmt2-frontend
doc/psmt2-frontend/odoc-pages/index.mld
doc/psmt2-frontend/odoc-pages
doc/psmt2-frontend/README.md
doc/psmt2-frontend/LICENSE.md
doc/psmt2-frontend/LICENSE
doc/psmt2-frontend/CHANGES.md
doc/psmt2-frontend