package universo
A tool for Dedukti to play with universes
Install
Dune Dependency
Authors
Maintainers
Sources
v2.7.tar.gz
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c
doc/src/universo.common/common.ml.html
Source file common.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19(* generated by dune *) (** @canonical Common.Constraints *) module Constraints = Common__Constraints (** @canonical Common.Files *) module Files = Common__Files (** @canonical Common.Log *) module Log = Common__Log (** @canonical Common.Logic *) module Logic = Common__Logic (** @canonical Common.Oracle *) module Oracle = Common__Oracle (** @canonical Common.Universes *) module Universes = Common__Universes