package coq-lsp

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file serlib.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
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
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
(* generated by dune *)

(** @canonical Serlib.SerType *)
module SerType = Serlib__SerType

(** @canonical Serlib.Ser_attributes *)
module Ser_attributes = Serlib__Ser_attributes

(** @canonical Serlib.Ser_cAst *)
module Ser_cAst = Serlib__Ser_cAst

(** @canonical Serlib.Ser_cEphemeron *)
module Ser_cEphemeron = Serlib__Ser_cEphemeron

(** @canonical Serlib.Ser_cMap *)
module Ser_cMap = Serlib__Ser_cMap

(** @canonical Serlib.Ser_cPrimitives *)
module Ser_cPrimitives = Serlib__Ser_cPrimitives

(** @canonical Serlib.Ser_cSet *)
module Ser_cSet = Serlib__Ser_cSet

(** @canonical Serlib.Ser_cUnix *)
module Ser_cUnix = Serlib__Ser_cUnix

(** @canonical Serlib.Ser_class_tactics *)
module Ser_class_tactics = Serlib__Ser_class_tactics

(** @canonical Serlib.Ser_constr *)
module Ser_constr = Serlib__Ser_constr

(** @canonical Serlib.Ser_constr_matching *)
module Ser_constr_matching = Serlib__Ser_constr_matching

(** @canonical Serlib.Ser_constrexpr *)
module Ser_constrexpr = Serlib__Ser_constrexpr

(** @canonical Serlib.Ser_context *)
module Ser_context = Serlib__Ser_context

(** @canonical Serlib.Ser_conv_oracle *)
module Ser_conv_oracle = Serlib__Ser_conv_oracle

(** @canonical Serlib.Ser_cooking *)
module Ser_cooking = Serlib__Ser_cooking

(** @canonical Serlib.Ser_dAst *)
module Ser_dAst = Serlib__Ser_dAst

(** @canonical Serlib.Ser_declarations *)
module Ser_declarations = Serlib__Ser_declarations

(** @canonical Serlib.Ser_declaremods *)
module Ser_declaremods = Serlib__Ser_declaremods

(** @canonical Serlib.Ser_decls *)
module Ser_decls = Serlib__Ser_decls

(** @canonical Serlib.Ser_deprecation *)
module Ser_deprecation = Serlib__Ser_deprecation

(** @canonical Serlib.Ser_eConstr *)
module Ser_eConstr = Serlib__Ser_eConstr

(** @canonical Serlib.Ser_entries *)
module Ser_entries = Serlib__Ser_entries

(** @canonical Serlib.Ser_environ *)
module Ser_environ = Serlib__Ser_environ

(** @canonical Serlib.Ser_equality *)
module Ser_equality = Serlib__Ser_equality

(** @canonical Serlib.Ser_evaluable *)
module Ser_evaluable = Serlib__Ser_evaluable

(** @canonical Serlib.Ser_evar *)
module Ser_evar = Serlib__Ser_evar

(** @canonical Serlib.Ser_evar_kinds *)
module Ser_evar_kinds = Serlib__Ser_evar_kinds

(** @canonical Serlib.Ser_evd *)
module Ser_evd = Serlib__Ser_evd

(** @canonical Serlib.Ser_extend *)
module Ser_extend = Serlib__Ser_extend

(** @canonical Serlib.Ser_feedback *)
module Ser_feedback = Serlib__Ser_feedback

(** @canonical Serlib.Ser_flags *)
module Ser_flags = Serlib__Ser_flags

(** @canonical Serlib.Ser_float64 *)
module Ser_float64 = Serlib__Ser_float64

(** @canonical Serlib.Ser_future *)
module Ser_future = Serlib__Ser_future

(** @canonical Serlib.Ser_genarg *)
module Ser_genarg = Serlib__Ser_genarg

(** @canonical Serlib.Ser_genintern *)
module Ser_genintern = Serlib__Ser_genintern

(** @canonical Serlib.Ser_geninterp *)
module Ser_geninterp = Serlib__Ser_geninterp

(** @canonical Serlib.Ser_genredexpr *)
module Ser_genredexpr = Serlib__Ser_genredexpr

(** @canonical Serlib.Ser_glob_term *)
module Ser_glob_term = Serlib__Ser_glob_term

(** @canonical Serlib.Ser_globnames *)
module Ser_globnames = Serlib__Ser_globnames

(** @canonical Serlib.Ser_goal_select *)
module Ser_goal_select = Serlib__Ser_goal_select

(** @canonical Serlib.Ser_goptions *)
module Ser_goptions = Serlib__Ser_goptions

(** @canonical Serlib.Ser_gramlib *)
module Ser_gramlib = Serlib__Ser_gramlib

(** @canonical Serlib.Ser_hints *)
module Ser_hints = Serlib__Ser_hints

(** @canonical Serlib.Ser_impargs *)
module Ser_impargs = Serlib__Ser_impargs

(** @canonical Serlib.Ser_int *)
module Ser_int = Serlib__Ser_int

(** @canonical Serlib.Ser_inv *)
module Ser_inv = Serlib__Ser_inv

(** @canonical Serlib.Ser_lib *)
module Ser_lib = Serlib__Ser_lib

(** @canonical Serlib.Ser_libnames *)
module Ser_libnames = Serlib__Ser_libnames

(** @canonical Serlib.Ser_libobject *)
module Ser_libobject = Serlib__Ser_libobject

(** @canonical Serlib.Ser_loadpath *)
module Ser_loadpath = Serlib__Ser_loadpath

(** @canonical Serlib.Ser_loc *)
module Ser_loc = Serlib__Ser_loc

(** @canonical Serlib.Ser_locality *)
module Ser_locality = Serlib__Ser_locality

(** @canonical Serlib.Ser_locus *)
module Ser_locus = Serlib__Ser_locus

(** @canonical Serlib.Ser_ltac_pretype *)
module Ser_ltac_pretype = Serlib__Ser_ltac_pretype

(** @canonical Serlib.Ser_mod_subst *)
module Ser_mod_subst = Serlib__Ser_mod_subst

(** @canonical Serlib.Ser_namegen *)
module Ser_namegen = Serlib__Ser_namegen

(** @canonical Serlib.Ser_names *)
module Ser_names = Serlib__Ser_names

(** @canonical Serlib.Ser_nametab *)
module Ser_nametab = Serlib__Ser_nametab

(** @canonical Serlib.Ser_nativevalues *)
module Ser_nativevalues = Serlib__Ser_nativevalues

(** @canonical Serlib.Ser_notation *)
module Ser_notation = Serlib__Ser_notation

(** @canonical Serlib.Ser_notation_gram *)
module Ser_notation_gram = Serlib__Ser_notation_gram

(** @canonical Serlib.Ser_notation_term *)
module Ser_notation_term = Serlib__Ser_notation_term

(** @canonical Serlib.Ser_notationextern *)
module Ser_notationextern = Serlib__Ser_notationextern

(** @canonical Serlib.Ser_numTok *)
module Ser_numTok = Serlib__Ser_numTok

(** @canonical Serlib.Ser_opaqueproof *)
module Ser_opaqueproof = Serlib__Ser_opaqueproof

(** @canonical Serlib.Ser_pattern *)
module Ser_pattern = Serlib__Ser_pattern

(** @canonical Serlib.Ser_pp *)
module Ser_pp = Serlib__Ser_pp

(** @canonical Serlib.Ser_ppextend *)
module Ser_ppextend = Serlib__Ser_ppextend

(** @canonical Serlib.Ser_pretype_errors *)
module Ser_pretype_errors = Serlib__Ser_pretype_errors

(** @canonical Serlib.Ser_printer *)
module Ser_printer = Serlib__Ser_printer

(** @canonical Serlib.Ser_profile_tactic *)
module Ser_profile_tactic = Serlib__Ser_profile_tactic

(** @canonical Serlib.Ser_proof_bullet *)
module Ser_proof_bullet = Serlib__Ser_proof_bullet

(** @canonical Serlib.Ser_pstring *)
module Ser_pstring = Serlib__Ser_pstring

(** @canonical Serlib.Ser_quickfix *)
module Ser_quickfix = Serlib__Ser_quickfix

(** @canonical Serlib.Ser_range *)
module Ser_range = Serlib__Ser_range

(** @canonical Serlib.Ser_reduction *)
module Ser_reduction = Serlib__Ser_reduction

(** @canonical Serlib.Ser_retroknowledge *)
module Ser_retroknowledge = Serlib__Ser_retroknowledge

(** @canonical Serlib.Ser_rtree *)
module Ser_rtree = Serlib__Ser_rtree

(** @canonical Serlib.Ser_sList *)
module Ser_sList = Serlib__Ser_sList

(** @canonical Serlib.Ser_safe_typing *)
module Ser_safe_typing = Serlib__Ser_safe_typing

(** @canonical Serlib.Ser_sorts *)
module Ser_sorts = Serlib__Ser_sorts

(** @canonical Serlib.Ser_stateid *)
module Ser_stateid = Serlib__Ser_stateid

(** @canonical Serlib.Ser_stdarg *)
module Ser_stdarg = Serlib__Ser_stdarg

(** @canonical Serlib.Ser_stdlib *)
module Ser_stdlib = Serlib__Ser_stdlib

(** @canonical Serlib.Ser_summary *)
module Ser_summary = Serlib__Ser_summary

(** @canonical Serlib.Ser_tactics *)
module Ser_tactics = Serlib__Ser_tactics

(** @canonical Serlib.Ser_tactypes *)
module Ser_tactypes = Serlib__Ser_tactypes

(** @canonical Serlib.Ser_tok *)
module Ser_tok = Serlib__Ser_tok

(** @canonical Serlib.Ser_type_errors *)
module Ser_type_errors = Serlib__Ser_type_errors

(** @canonical Serlib.Ser_typeclasses *)
module Ser_typeclasses = Serlib__Ser_typeclasses

(** @canonical Serlib.Ser_uGraph *)
module Ser_uGraph = Serlib__Ser_uGraph

(** @canonical Serlib.Ser_uState *)
module Ser_uState = Serlib__Ser_uState

(** @canonical Serlib.Ser_uint63 *)
module Ser_uint63 = Serlib__Ser_uint63

(** @canonical Serlib.Ser_univ *)
module Ser_univ = Serlib__Ser_univ

(** @canonical Serlib.Ser_univNames *)
module Ser_univNames = Serlib__Ser_univNames

(** @canonical Serlib.Ser_universes *)
module Ser_universes = Serlib__Ser_universes

(** @canonical Serlib.Ser_util *)
module Ser_util = Serlib__Ser_util

(** @canonical Serlib.Ser_uvars *)
module Ser_uvars = Serlib__Ser_uvars

(** @canonical Serlib.Ser_vernacexpr *)
module Ser_vernacexpr = Serlib__Ser_vernacexpr

(** @canonical Serlib.Ser_vernacextend *)
module Ser_vernacextend = Serlib__Ser_vernacextend

(** @canonical Serlib.Ser_vmbytecodes *)
module Ser_vmbytecodes = Serlib__Ser_vmbytecodes

(** @canonical Serlib.Ser_vmemitcodes *)
module Ser_vmemitcodes = Serlib__Ser_vmemitcodes

(** @canonical Serlib.Ser_vmlibrary *)
module Ser_vmlibrary = Serlib__Ser_vmlibrary

(** @canonical Serlib.Ser_vmvalues *)
module Ser_vmvalues = Serlib__Ser_vmvalues

(** @canonical Serlib.Ser_xml_datatype *)
module Ser_xml_datatype = Serlib__Ser_xml_datatype

(** @canonical Serlib.Serlib_base *)
module Serlib_base = Serlib__Serlib_base

(** @canonical Serlib.Serlib_init *)
module Serlib_init = Serlib__Serlib_init
OCaml

Innovation. Community. Security.