Source file `E_ACSL.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(**************************************************************************)
(*                                                                        *)
(*  SPDX-License-Identifier LGPL-2.1                                      *)
(*  Copyright (C)                                                         *)
(*  CEA (Commissariat à l'énergie atomique et aux énergies alternatives)  *)
(*                                                                        *)
(**************************************************************************)

(** E-ACSL. *)

module Options = Options
module Error = Error

module Translate_terms = Translate_terms
module Translate_predicates = Translate_predicates

module Functions = Functions
module Interlang = Interlang
module Interlang_trans = Interlang_trans
module Interlang_build = Interlang_build