Opam Package dolmen_type.0.5

Package info

opam-namedolmen_type
opam-version0.5
synopsisA typechecker for automated deduction languages
authors
  • Guillaume Bury <guillaume.bury@gmail.com>
homepagehttps://github.com/Gbury/dolmen
licenseBSD-2-Clause
changes-fileCHANGES.md
readme-fileREADME.md
deps (6)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

dolmen_type

Package files

lib/dolmen_type/tff_intf.ml
lib/dolmen_type/tff.mli
lib/dolmen_type/tff.ml
lib/dolmen_type/strings.mli
lib/dolmen_type/strings.ml
lib/dolmen_type/opam
lib/dolmen_type/misc.mli
lib/dolmen_type/misc.ml
lib/dolmen_type/logic.mli
lib/dolmen_type/logic.ml
lib/dolmen_type/float.mli
lib/dolmen_type/float.ml
lib/dolmen_type/dune-package
lib/dolmen_type/dolmen_type__Tff_intf.cmx
lib/dolmen_type/dolmen_type__Tff_intf.cmt
lib/dolmen_type/dolmen_type__Tff_intf.cmi
lib/dolmen_type/dolmen_type__Tff.cmx
lib/dolmen_type/dolmen_type__Tff.cmti
lib/dolmen_type/dolmen_type__Tff.cmt
lib/dolmen_type/dolmen_type__Tff.cmi
lib/dolmen_type/dolmen_type__Strings.cmx
lib/dolmen_type/dolmen_type__Strings.cmti
lib/dolmen_type/dolmen_type__Strings.cmt
lib/dolmen_type/dolmen_type__Strings.cmi
lib/dolmen_type/dolmen_type__Misc.cmx
lib/dolmen_type/dolmen_type__Misc.cmti
lib/dolmen_type/dolmen_type__Misc.cmt
lib/dolmen_type/dolmen_type__Misc.cmi
lib/dolmen_type/dolmen_type__Logic.cmx
lib/dolmen_type/dolmen_type__Logic.cmti
lib/dolmen_type/dolmen_type__Logic.cmt
lib/dolmen_type/dolmen_type__Logic.cmi
lib/dolmen_type/dolmen_type__Float.cmx
lib/dolmen_type/dolmen_type__Float.cmti
lib/dolmen_type/dolmen_type__Float.cmt
lib/dolmen_type/dolmen_type__Float.cmi
lib/dolmen_type/dolmen_type__Def.cmx
lib/dolmen_type/dolmen_type__Def.cmti
lib/dolmen_type/dolmen_type__Def.cmt
lib/dolmen_type/dolmen_type__Def.cmi
lib/dolmen_type/dolmen_type__Core.cmx
lib/dolmen_type/dolmen_type__Core.cmti
lib/dolmen_type/dolmen_type__Core.cmt
lib/dolmen_type/dolmen_type__Core.cmi
lib/dolmen_type/dolmen_type__Bitv.cmx
lib/dolmen_type/dolmen_type__Bitv.cmti
lib/dolmen_type/dolmen_type__Bitv.cmt
lib/dolmen_type/dolmen_type__Bitv.cmi
lib/dolmen_type/dolmen_type__Base.cmx
lib/dolmen_type/dolmen_type__Base.cmti
lib/dolmen_type/dolmen_type__Base.cmt
lib/dolmen_type/dolmen_type__Base.cmi
lib/dolmen_type/dolmen_type__Arrays.cmx
lib/dolmen_type/dolmen_type__Arrays.cmti
lib/dolmen_type/dolmen_type__Arrays.cmt
lib/dolmen_type/dolmen_type__Arrays.cmi
lib/dolmen_type/dolmen_type__Arith.cmx
lib/dolmen_type/dolmen_type__Arith.cmti
lib/dolmen_type/dolmen_type__Arith.cmt
lib/dolmen_type/dolmen_type__Arith.cmi
lib/dolmen_type/dolmen_type.ml
lib/dolmen_type/dolmen_type.cmxs
lib/dolmen_type/dolmen_type.cmxa
lib/dolmen_type/dolmen_type.cmx
lib/dolmen_type/dolmen_type.cmt
lib/dolmen_type/dolmen_type.cmi
lib/dolmen_type/dolmen_type.cma
lib/dolmen_type/dolmen_type.a
lib/dolmen_type/def.mli
lib/dolmen_type/def.ml
lib/dolmen_type/core.mli
lib/dolmen_type/core.ml
lib/dolmen_type/bitv.mli
lib/dolmen_type/bitv.ml
lib/dolmen_type/base.mli
lib/dolmen_type/base.ml
lib/dolmen_type/arrays.mli
lib/dolmen_type/arrays.ml
lib/dolmen_type/arith.mli
lib/dolmen_type/arith.ml
lib/dolmen_type/META
lib/dolmen_type
doc/dolmen_type/README.md
doc/dolmen_type/LICENSE
doc/dolmen_type/CHANGES.md
doc/dolmen_type