package gospel

  1. Overview
  2. Docs

Source file gospel.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
(* generated by dune *)

(** @canonical Gospel.Coercion *)
module Coercion = Gospel__Coercion

(** @canonical Gospel.Dterm *)
module Dterm = Gospel__Dterm

(** @canonical Gospel.Gospelstdlib *)
module Gospelstdlib = Gospel__Gospelstdlib

(** @canonical Gospel.Identifier *)
module Identifier = Gospel__Identifier

(** @canonical Gospel.Opprintast *)
module Opprintast = Gospel__Opprintast

(** @canonical Gospel.Parser_frontend *)
module Parser_frontend = Gospel__Parser_frontend

(** @canonical Gospel.Pps *)
module Pps = Gospel__Pps

(** @canonical Gospel.Tast *)
module Tast = Gospel__Tast

(** @canonical Gospel.Tast_helper *)
module Tast_helper = Gospel__Tast_helper

(** @canonical Gospel.Tast_printer *)
module Tast_printer = Gospel__Tast_printer

(** @canonical Gospel.Tmodule *)
module Tmodule = Gospel__Tmodule

(** @canonical Gospel.Tterm *)
module Tterm = Gospel__Tterm

(** @canonical Gospel.Ttypes *)
module Ttypes = Gospel__Ttypes

(** @canonical Gospel.Typing *)
module Typing = Gospel__Typing

(** @canonical Gospel.Uast *)
module Uast = Gospel__Uast

(** @canonical Gospel.Uattr2spec *)
module Uattr2spec = Gospel__Uattr2spec

(** @canonical Gospel.Ulexer *)
module Ulexer = Gospel__Ulexer

(** @canonical Gospel.Uparser *)
module Uparser = Gospel__Uparser

(** @canonical Gospel.Upretty_printer *)
module Upretty_printer = Gospel__Upretty_printer

(** @canonical Gospel.Utils *)
module Utils = Gospel__Utils