-
Notifications
You must be signed in to change notification settings - Fork 87
/
Copy pathpreprocessor.mli
140 lines (139 loc) · 6.44 KB
/
preprocessor.mli
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
open TypedtreeMap
module type StampRef = sig val v : int Batteries.ref end
module GuardMap :
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module RecordMap :
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module ValrecMap :
functor (S : StampRef) ->
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module ValpatMap :
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module AnypatMap :
functor (S : StampRef) ->
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module RemoveAliaspatMap :
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module AliaspatMap :
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module FunctionMap :
functor (S : StampRef) ->
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module OrpatMap :
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end
module type EnvProvider = sig val env : Env.t end
module PreprocessorMapArgument :
functor (FinalEnv : EnvProvider) -> MapArgument
module PreprocessorMap :
functor (FinalEnv : EnvProvider) ->
sig
val map_structure : Typedtree.structure -> Typedtree.structure
val map_pattern : Typedtree.pattern -> Typedtree.pattern
val map_structure_item :
Typedtree.structure_item -> Typedtree.structure_item
val map_expression : Typedtree.expression -> Typedtree.expression
val map_class_expr : Typedtree.class_expr -> Typedtree.class_expr
val map_signature : Typedtree.signature -> Typedtree.signature
val map_signature_item :
Typedtree.signature_item -> Typedtree.signature_item
val map_module_type : Typedtree.module_type -> Typedtree.module_type
end