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
(** @canonical SaltoIL.Ast *)
module Ast = SaltoIL__Ast
(** @canonical SaltoIL.Ast_printer *)
module Ast_printer = SaltoIL__Ast_printer
(** @canonical SaltoIL.Coercion *)
module Coercion = SaltoIL__Coercion
(** @canonical SaltoIL.ListExtra *)
(** @canonical SaltoIL.Pattern *)
module Pattern = SaltoIL__Pattern
(** @canonical SaltoIL.Predefined *)
module Predefined = SaltoIL__Predefined
(** @canonical SaltoIL.Prefix_tree *)
module Prefix_tree = SaltoIL__Prefix_tree
(** @canonical SaltoIL.Program_point *)
module Program_point = SaltoIL__Program_point
(** @canonical SaltoIL.Reduce *)
module Reduce = SaltoIL__Reduce
(** @canonical SaltoIL.Salto_id *)
module Salto_id = SaltoIL__Salto_id
(** @canonical SaltoIL.StringMap *)
module StringMap = SaltoIL__StringMap
(** @canonical SaltoIL.Term *)
module Term = SaltoIL__Term
(** @canonical SaltoIL.To_untyped *)
module To_untyped = SaltoIL__To_untyped
(** @canonical SaltoIL.Transpose *)
module Transpose = SaltoIL__Transpose
(** @canonical SaltoIL.Utils *)
module Utils = SaltoIL__Utils
module SaltoIL__ = struct end
[@@deprecated "this module is shadowed"]