package dedukti

  1. Overview
  2. Docs

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
OCaml

Innovation. Community. Security.