package dedukti
An implementation of The Lambda-Pi Modulo Theory
Install
Dune Dependency
Authors
Maintainers
Sources
v2.7.tar.gz
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c
doc/src/dedukti.api/api.ml.html
Source file api.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22(* generated by dune *) (** @canonical Api.Dep *) module Dep = Api__Dep (** @canonical Api.Env *) module Env = Api__Env (** @canonical Api.Errors *) module Errors = Api__Errors (** @canonical Api.Files *) module Files = Api__Files (** @canonical Api.Meta *) module Meta = Api__Meta (** @canonical Api.Pp *) module Pp = Api__Pp (** @canonical Api.Processor *) module Processor = Api__Processor