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
(** @canonical MetAcsl.Meta_annotate *)
module Meta_annotate = MetAcsl__Meta_annotate
(** @canonical MetAcsl.Meta_bindings *)
module Meta_bindings = MetAcsl__Meta_bindings
(** @canonical MetAcsl.Meta_deduce *)
module Meta_deduce = MetAcsl__Meta_deduce
(** @canonical MetAcsl.Meta_dispatch *)
module Meta_dispatch = MetAcsl__Meta_dispatch
(** @canonical MetAcsl.Meta_options *)
module Meta_options = MetAcsl__Meta_options
(** @canonical MetAcsl.Meta_parse *)
module Meta_parse = MetAcsl__Meta_parse
(** @canonical MetAcsl.Meta_run *)
module Meta_run = MetAcsl__Meta_run
(** @canonical MetAcsl.Meta_simplify *)
module Meta_simplify = MetAcsl__Meta_simplify
(** @canonical MetAcsl.Meta_utils *)
module Meta_utils = MetAcsl__Meta_utils
module MetAcsl__ = struct end
[@@deprecated "this module is shadowed"]