package frama-c-lannotate

  1. Overview
  2. Docs

Source file lannotate__.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
(* generated by dune *)

(** @canonical Lannotate.Annotators *)
module Annotators = Lannotate__Annotators

(** @canonical Lannotate.Ast_const *)
module Ast_const = Lannotate__Ast_const

(** @canonical Lannotate.Bes *)
module Bes = Lannotate__Bes

(** @canonical Lannotate.L_boundary *)
module L_boundary = Lannotate__L_boundary

(** @canonical Lannotate.L_dataflows *)
module L_dataflows = Lannotate__L_dataflows

(** @canonical Lannotate.L_function *)
module L_function = Lannotate__L_function

(** @canonical Lannotate.L_logical *)
module L_logical = Lannotate__L_logical

(** @canonical Lannotate.L_loop *)
module L_loop = Lannotate__L_loop

(** @canonical Lannotate.L_mutation *)
module L_mutation = Lannotate__L_mutation

(** @canonical Lannotate.L_partition *)
module L_partition = Lannotate__L_partition

(** @canonical Lannotate.L_statement *)
module L_statement = Lannotate__L_statement

(** @canonical Lannotate.L_wm *)
module L_wm = Lannotate__L_wm

(** @canonical Lannotate.Options *)
module Options = Lannotate__Options

(** @canonical Lannotate.Register *)
module Register = Lannotate__Register

(** @canonical Lannotate.Simplify *)
module Simplify = Lannotate__Simplify

(** @canonical Lannotate.Utils *)
module Utils = Lannotate__Utils

(** @canonical Lannotate.Visibility *)
module Visibility = Lannotate__Visibility

module Lannotate__ = struct end
[@@deprecated "this module is shadowed"]
OCaml

Innovation. Community. Security.