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.parsers/parsers.ml.html
Source file parsers.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 Parsers.Entry *) module Entry = Parsers__Entry (** @canonical Parsers.Lexer *) module Lexer = Parsers__Lexer (** @canonical Parsers.Menhir_parser *) module Menhir_parser = Parsers__Menhir_parser (** @canonical Parsers.Parser *) module Parser = Parsers__Parser (** @canonical Parsers.Preterm *) module Preterm = Parsers__Preterm (** @canonical Parsers.Scoping *) module Scoping = Parsers__Scoping (** @canonical Parsers.Tokens *) module Tokens = Parsers__Tokens