(lang dune 3.6)
(name frama-c-e-acsl)
(sections
 (lib /usr/lib64/ocaml/frama-c-e-acsl)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-e-acsl)
 (bin /usr/bin)
 (share /usr/share/frama-c-e-acsl)
 (share_root /usr/share)
 (doc /usr/doc/frama-c-e-acsl)
 (man /usr/share/man))
(sites (contrib share))
(files
 (lib
  (META
   core/E_ACSL.a
   core/E_ACSL.cma
   core/E_ACSL.cmxa
   core/analyses.ml
   core/analyses.mli
   core/analyses_datatype.ml
   core/analyses_datatype.mli
   core/analyses_types.ml
   core/assert.ml
   core/assert.mli
   core/assigns.ml
   core/assigns.mli
   core/bound_variables.ml
   core/bound_variables.mli
   core/builtins.ml
   core/builtins.mli
   core/contract.ml
   core/contract.mli
   core/contract_types.ml
   core/e_ACSL.cmi
   core/e_ACSL.cmt
   core/e_ACSL.cmx
   core/e_ACSL.ml
   core/e_ACSL__Analyses.cmi
   core/e_ACSL__Analyses.cmt
   core/e_ACSL__Analyses.cmti
   core/e_ACSL__Analyses.cmx
   core/e_ACSL__Analyses_datatype.cmi
   core/e_ACSL__Analyses_datatype.cmt
   core/e_ACSL__Analyses_datatype.cmti
   core/e_ACSL__Analyses_datatype.cmx
   core/e_ACSL__Analyses_types.cmi
   core/e_ACSL__Analyses_types.cmt
   core/e_ACSL__Analyses_types.cmx
   core/e_ACSL__Assert.cmi
   core/e_ACSL__Assert.cmt
   core/e_ACSL__Assert.cmti
   core/e_ACSL__Assert.cmx
   core/e_ACSL__Assigns.cmi
   core/e_ACSL__Assigns.cmt
   core/e_ACSL__Assigns.cmti
   core/e_ACSL__Assigns.cmx
   core/e_ACSL__Bound_variables.cmi
   core/e_ACSL__Bound_variables.cmt
   core/e_ACSL__Bound_variables.cmti
   core/e_ACSL__Bound_variables.cmx
   core/e_ACSL__Builtins.cmi
   core/e_ACSL__Builtins.cmt
   core/e_ACSL__Builtins.cmti
   core/e_ACSL__Builtins.cmx
   core/e_ACSL__Contract.cmi
   core/e_ACSL__Contract.cmt
   core/e_ACSL__Contract.cmti
   core/e_ACSL__Contract.cmx
   core/e_ACSL__Contract_types.cmi
   core/e_ACSL__Contract_types.cmt
   core/e_ACSL__Contract_types.cmx
   core/e_ACSL__E_acsl_visitor.cmi
   core/e_ACSL__E_acsl_visitor.cmt
   core/e_ACSL__E_acsl_visitor.cmti
   core/e_ACSL__E_acsl_visitor.cmx
   core/e_ACSL__Env.cmi
   core/e_ACSL__Env.cmt
   core/e_ACSL__Env.cmti
   core/e_ACSL__Env.cmx
   core/e_ACSL__Error.cmi
   core/e_ACSL__Error.cmt
   core/e_ACSL__Error.cmti
   core/e_ACSL__Error.cmx
   core/e_ACSL__Exit_points.cmi
   core/e_ACSL__Exit_points.cmt
   core/e_ACSL__Exit_points.cmti
   core/e_ACSL__Exit_points.cmx
   core/e_ACSL__Functions.cmi
   core/e_ACSL__Functions.cmt
   core/e_ACSL__Functions.cmti
   core/e_ACSL__Functions.cmx
   core/e_ACSL__Global_observer.cmi
   core/e_ACSL__Global_observer.cmt
   core/e_ACSL__Global_observer.cmti
   core/e_ACSL__Global_observer.cmx
   core/e_ACSL__Gmp.cmi
   core/e_ACSL__Gmp.cmt
   core/e_ACSL__Gmp.cmti
   core/e_ACSL__Gmp.cmx
   core/e_ACSL__Gmp_types.cmi
   core/e_ACSL__Gmp_types.cmt
   core/e_ACSL__Gmp_types.cmti
   core/e_ACSL__Gmp_types.cmx
   core/e_ACSL__Injector.cmi
   core/e_ACSL__Injector.cmt
   core/e_ACSL__Injector.cmti
   core/e_ACSL__Injector.cmx
   core/e_ACSL__Interval.cmi
   core/e_ACSL__Interval.cmt
   core/e_ACSL__Interval.cmti
   core/e_ACSL__Interval.cmx
   core/e_ACSL__Labels.cmi
   core/e_ACSL__Labels.cmt
   core/e_ACSL__Labels.cmti
   core/e_ACSL__Labels.cmx
   core/e_ACSL__Libc.cmi
   core/e_ACSL__Libc.cmt
   core/e_ACSL__Libc.cmti
   core/e_ACSL__Libc.cmx
   core/e_ACSL__Literal_observer.cmi
   core/e_ACSL__Literal_observer.cmt
   core/e_ACSL__Literal_observer.cmti
   core/e_ACSL__Literal_observer.cmx
   core/e_ACSL__Literal_strings.cmi
   core/e_ACSL__Literal_strings.cmt
   core/e_ACSL__Literal_strings.cmti
   core/e_ACSL__Literal_strings.cmx
   core/e_ACSL__Local_config.cmi
   core/e_ACSL__Local_config.cmt
   core/e_ACSL__Local_config.cmti
   core/e_ACSL__Local_config.cmx
   core/e_ACSL__Logic_aggr.cmi
   core/e_ACSL__Logic_aggr.cmt
   core/e_ACSL__Logic_aggr.cmti
   core/e_ACSL__Logic_aggr.cmx
   core/e_ACSL__Logic_array.cmi
   core/e_ACSL__Logic_array.cmt
   core/e_ACSL__Logic_array.cmti
   core/e_ACSL__Logic_array.cmx
   core/e_ACSL__Logic_functions.cmi
   core/e_ACSL__Logic_functions.cmt
   core/e_ACSL__Logic_functions.cmti
   core/e_ACSL__Logic_functions.cmx
   core/e_ACSL__Logic_normalizer.cmi
   core/e_ACSL__Logic_normalizer.cmt
   core/e_ACSL__Logic_normalizer.cmti
   core/e_ACSL__Logic_normalizer.cmx
   core/e_ACSL__Loops.cmi
   core/e_ACSL__Loops.cmt
   core/e_ACSL__Loops.cmti
   core/e_ACSL__Loops.cmx
   core/e_ACSL__Lscope.cmi
   core/e_ACSL__Lscope.cmt
   core/e_ACSL__Lscope.cmti
   core/e_ACSL__Lscope.cmx
   core/e_ACSL__Main.cmi
   core/e_ACSL__Main.cmt
   core/e_ACSL__Main.cmti
   core/e_ACSL__Main.cmx
   core/e_ACSL__Memory_observer.cmi
   core/e_ACSL__Memory_observer.cmt
   core/e_ACSL__Memory_observer.cmti
   core/e_ACSL__Memory_observer.cmx
   core/e_ACSL__Memory_tracking.cmi
   core/e_ACSL__Memory_tracking.cmt
   core/e_ACSL__Memory_tracking.cmti
   core/e_ACSL__Memory_tracking.cmx
   core/e_ACSL__Memory_translate.cmi
   core/e_ACSL__Memory_translate.cmt
   core/e_ACSL__Memory_translate.cmti
   core/e_ACSL__Memory_translate.cmx
   core/e_ACSL__Misc.cmi
   core/e_ACSL__Misc.cmt
   core/e_ACSL__Misc.cmti
   core/e_ACSL__Misc.cmx
   core/e_ACSL__Options.cmi
   core/e_ACSL__Options.cmt
   core/e_ACSL__Options.cmti
   core/e_ACSL__Options.cmx
   core/e_ACSL__Prepare_ast.cmi
   core/e_ACSL__Prepare_ast.cmt
   core/e_ACSL__Prepare_ast.cmti
   core/e_ACSL__Prepare_ast.cmx
   core/e_ACSL__Quantif.cmi
   core/e_ACSL__Quantif.cmt
   core/e_ACSL__Quantif.cmti
   core/e_ACSL__Quantif.cmx
   core/e_ACSL__Rational.cmi
   core/e_ACSL__Rational.cmt
   core/e_ACSL__Rational.cmti
   core/e_ACSL__Rational.cmx
   core/e_ACSL__Rte.cmi
   core/e_ACSL__Rte.cmt
   core/e_ACSL__Rte.cmti
   core/e_ACSL__Rte.cmx
   core/e_ACSL__Rtl.cmi
   core/e_ACSL__Rtl.cmt
   core/e_ACSL__Rtl.cmti
   core/e_ACSL__Rtl.cmx
   core/e_ACSL__Smart_exp.cmi
   core/e_ACSL__Smart_exp.cmt
   core/e_ACSL__Smart_exp.cmti
   core/e_ACSL__Smart_exp.cmx
   core/e_ACSL__Smart_stmt.cmi
   core/e_ACSL__Smart_stmt.cmt
   core/e_ACSL__Smart_stmt.cmti
   core/e_ACSL__Smart_stmt.cmx
   core/e_ACSL__Temporal.cmi
   core/e_ACSL__Temporal.cmt
   core/e_ACSL__Temporal.cmti
   core/e_ACSL__Temporal.cmx
   core/e_ACSL__Translate_annots.cmi
   core/e_ACSL__Translate_annots.cmt
   core/e_ACSL__Translate_annots.cmti
   core/e_ACSL__Translate_annots.cmx
   core/e_ACSL__Translate_ats.cmi
   core/e_ACSL__Translate_ats.cmt
   core/e_ACSL__Translate_ats.cmti
   core/e_ACSL__Translate_ats.cmx
   core/e_ACSL__Translate_predicates.cmi
   core/e_ACSL__Translate_predicates.cmt
   core/e_ACSL__Translate_predicates.cmti
   core/e_ACSL__Translate_predicates.cmx
   core/e_ACSL__Translate_rtes.cmi
   core/e_ACSL__Translate_rtes.cmt
   core/e_ACSL__Translate_rtes.cmti
   core/e_ACSL__Translate_rtes.cmx
   core/e_ACSL__Translate_terms.cmi
   core/e_ACSL__Translate_terms.cmt
   core/e_ACSL__Translate_terms.cmti
   core/e_ACSL__Translate_terms.cmx
   core/e_ACSL__Translate_utils.cmi
   core/e_ACSL__Translate_utils.cmt
   core/e_ACSL__Translate_utils.cmti
   core/e_ACSL__Translate_utils.cmx
   core/e_ACSL__Translation_error.cmi
   core/e_ACSL__Translation_error.cmt
   core/e_ACSL__Translation_error.cmti
   core/e_ACSL__Translation_error.cmx
   core/e_ACSL__Typed_number.cmi
   core/e_ACSL__Typed_number.cmt
   core/e_ACSL__Typed_number.cmti
   core/e_ACSL__Typed_number.cmx
   core/e_ACSL__Typing.cmi
   core/e_ACSL__Typing.cmt
   core/e_ACSL__Typing.cmti
   core/e_ACSL__Typing.cmx
   core/e_ACSL__Varname.cmi
   core/e_ACSL__Varname.cmt
   core/e_ACSL__Varname.cmti
   core/e_ACSL__Varname.cmx
   core/e_acsl_visitor.ml
   core/e_acsl_visitor.mli
   core/env.ml
   core/env.mli
   core/error.ml
   core/error.mli
   core/exit_points.ml
   core/exit_points.mli
   core/functions.ml
   core/functions.mli
   core/global_observer.ml
   core/global_observer.mli
   core/gmp.ml
   core/gmp.mli
   core/gmp_types.ml
   core/gmp_types.mli
   core/injector.ml
   core/injector.mli
   core/interval.ml
   core/interval.mli
   core/labels.ml
   core/labels.mli
   core/libc.ml
   core/libc.mli
   core/literal_observer.ml
   core/literal_observer.mli
   core/literal_strings.ml
   core/literal_strings.mli
   core/local_config.ml
   core/local_config.mli
   core/logic_aggr.ml
   core/logic_aggr.mli
   core/logic_array.ml
   core/logic_array.mli
   core/logic_functions.ml
   core/logic_functions.mli
   core/logic_normalizer.ml
   core/logic_normalizer.mli
   core/loops.ml
   core/loops.mli
   core/lscope.ml
   core/lscope.mli
   core/main.ml
   core/main.mli
   core/memory_observer.ml
   core/memory_observer.mli
   core/memory_tracking.ml
   core/memory_tracking.mli
   core/memory_translate.ml
   core/memory_translate.mli
   core/misc.ml
   core/misc.mli
   core/options.ml
   core/options.mli
   core/prepare_ast.ml
   core/prepare_ast.mli
   core/quantif.ml
   core/quantif.mli
   core/rational.ml
   core/rational.mli
   core/rte.ml
   core/rte.mli
   core/rtl.ml
   core/rtl.mli
   core/smart_exp.ml
   core/smart_exp.mli
   core/smart_stmt.ml
   core/smart_stmt.mli
   core/temporal.ml
   core/temporal.mli
   core/translate_annots.ml
   core/translate_annots.mli
   core/translate_ats.ml
   core/translate_ats.mli
   core/translate_predicates.ml
   core/translate_predicates.mli
   core/translate_rtes.ml
   core/translate_rtes.mli
   core/translate_terms.ml
   core/translate_terms.mli
   core/translate_utils.ml
   core/translate_utils.mli
   core/translation_error.ml
   core/translation_error.mli
   core/typed_number.ml
   core/typed_number.mli
   core/typing.ml
   core/typing.mli
   core/varname.ml
   core/varname.mli
   dune-package
   libeacsl-dlmalloc.a
   opam))
 (lib_root (frama-c/plugins/e-acsl/META))
 (libexec (core/E_ACSL.cmxs))
 (bin (e-acsl-gcc.sh))
 (share_root
  (frama-c-e-acsl/contrib/libdlmalloc/dlmalloc.c
   frama-c/share/e-acsl/e_acsl.h
   frama-c/share/e-acsl/e_acsl_rtl.c
   frama-c/share/e-acsl/instrumentation_model/e_acsl_assert.c
   frama-c/share/e-acsl/instrumentation_model/e_acsl_assert.h
   frama-c/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
   frama-c/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
   frama-c/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
   frama-c/share/e-acsl/instrumentation_model/e_acsl_contract.c
   frama-c/share/e-acsl/instrumentation_model/e_acsl_contract.h
   frama-c/share/e-acsl/instrumentation_model/e_acsl_temporal.c
   frama-c/share/e-acsl/instrumentation_model/e_acsl_temporal.h
   frama-c/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
   frama-c/share/e-acsl/internals/e_acsl_alias.h
   frama-c/share/e-acsl/internals/e_acsl_bits.c
   frama-c/share/e-acsl/internals/e_acsl_bits.h
   frama-c/share/e-acsl/internals/e_acsl_concurrency.h
   frama-c/share/e-acsl/internals/e_acsl_config.h
   frama-c/share/e-acsl/internals/e_acsl_debug.c
   frama-c/share/e-acsl/internals/e_acsl_debug.h
   frama-c/share/e-acsl/internals/e_acsl_malloc.c
   frama-c/share/e-acsl/internals/e_acsl_malloc.h
   frama-c/share/e-acsl/internals/e_acsl_private_assert.c
   frama-c/share/e-acsl/internals/e_acsl_private_assert.h
   frama-c/share/e-acsl/internals/e_acsl_rtl_error.c
   frama-c/share/e-acsl/internals/e_acsl_rtl_error.h
   frama-c/share/e-acsl/internals/e_acsl_rtl_io.c
   frama-c/share/e-acsl/internals/e_acsl_rtl_io.h
   frama-c/share/e-acsl/internals/e_acsl_rtl_string.c
   frama-c/share/e-acsl/internals/e_acsl_rtl_string.h
   frama-c/share/e-acsl/internals/e_acsl_shexec.c
   frama-c/share/e-acsl/internals/e_acsl_shexec.h
   frama-c/share/e-acsl/internals/e_acsl_trace.c
   frama-c/share/e-acsl/internals/e_acsl_trace.h
   frama-c/share/e-acsl/libc_replacements/e_acsl_stdio.c
   frama-c/share/e-acsl/libc_replacements/e_acsl_stdio.h
   frama-c/share/e-acsl/libc_replacements/e_acsl_string.c
   frama-c/share/e-acsl/libc_replacements/e_acsl_string.h
   frama-c/share/e-acsl/numerical_model/e_acsl_floating_point.c
   frama-c/share/e-acsl/numerical_model/e_acsl_floating_point.h
   frama-c/share/e-acsl/numerical_model/e_acsl_gmp_api.h
   frama-c/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
   frama-c/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
   frama-c/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
   frama-c/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
   frama-c/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
   frama-c/share/e-acsl/observation_model/e_acsl_heap.c
   frama-c/share/e-acsl/observation_model/e_acsl_heap.h
   frama-c/share/e-acsl/observation_model/e_acsl_observation_model.c
   frama-c/share/e-acsl/observation_model/e_acsl_observation_model.h
   frama-c/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
   frama-c/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
   frama-c/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
   frama-c/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
   frama-c/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
   frama-c/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
   frama-c/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
   frama-c/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
   frama-c/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h))
 (doc (README))
 (man (man1/e-acsl-gcc.sh.1)))
(library
 (name frama-c-e-acsl.core)
 (kind normal)
 (archives (byte core/E_ACSL.cma) (native core/E_ACSL.cmxa))
 (plugins (byte core/E_ACSL.cma) (native core/E_ACSL.cmxs))
 (native_archives core/E_ACSL.a)
 (requires frama-c.kernel frama-c-rtegen.core)
 (main_module_name E_ACSL)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name E_ACSL)
   (modules
    ((name Analyses)
     (obj_name e_ACSL__Analyses)
     (visibility public)
     (impl)
     (intf))
    ((name Analyses_datatype)
     (obj_name e_ACSL__Analyses_datatype)
     (visibility public)
     (impl)
     (intf))
    ((name Analyses_types)
     (obj_name e_ACSL__Analyses_types)
     (visibility public)
     (impl))
    ((name Assert)
     (obj_name e_ACSL__Assert)
     (visibility public)
     (impl)
     (intf))
    ((name Assigns)
     (obj_name e_ACSL__Assigns)
     (visibility public)
     (impl)
     (intf))
    ((name Bound_variables)
     (obj_name e_ACSL__Bound_variables)
     (visibility public)
     (impl)
     (intf))
    ((name Builtins)
     (obj_name e_ACSL__Builtins)
     (visibility public)
     (impl)
     (intf))
    ((name Contract)
     (obj_name e_ACSL__Contract)
     (visibility public)
     (impl)
     (intf))
    ((name Contract_types)
     (obj_name e_ACSL__Contract_types)
     (visibility public)
     (impl))
    ((name E_acsl_visitor)
     (obj_name e_ACSL__E_acsl_visitor)
     (visibility public)
     (impl)
     (intf))
    ((name Env) (obj_name e_ACSL__Env) (visibility public) (impl) (intf))
    ((name Error) (obj_name e_ACSL__Error) (visibility public) (impl) (intf))
    ((name Exit_points)
     (obj_name e_ACSL__Exit_points)
     (visibility public)
     (impl)
     (intf))
    ((name Functions)
     (obj_name e_ACSL__Functions)
     (visibility public)
     (impl)
     (intf))
    ((name Global_observer)
     (obj_name e_ACSL__Global_observer)
     (visibility public)
     (impl)
     (intf))
    ((name Gmp) (obj_name e_ACSL__Gmp) (visibility public) (impl) (intf))
    ((name Gmp_types)
     (obj_name e_ACSL__Gmp_types)
     (visibility public)
     (impl)
     (intf))
    ((name Injector)
     (obj_name e_ACSL__Injector)
     (visibility public)
     (impl)
     (intf))
    ((name Interval)
     (obj_name e_ACSL__Interval)
     (visibility public)
     (impl)
     (intf))
    ((name Labels)
     (obj_name e_ACSL__Labels)
     (visibility public)
     (impl)
     (intf))
    ((name Libc) (obj_name e_ACSL__Libc) (visibility public) (impl) (intf))
    ((name Literal_observer)
     (obj_name e_ACSL__Literal_observer)
     (visibility public)
     (impl)
     (intf))
    ((name Literal_strings)
     (obj_name e_ACSL__Literal_strings)
     (visibility public)
     (impl)
     (intf))
    ((name Local_config)
     (obj_name e_ACSL__Local_config)
     (visibility public)
     (impl)
     (intf))
    ((name Logic_aggr)
     (obj_name e_ACSL__Logic_aggr)
     (visibility public)
     (impl)
     (intf))
    ((name Logic_array)
     (obj_name e_ACSL__Logic_array)
     (visibility public)
     (impl)
     (intf))
    ((name Logic_functions)
     (obj_name e_ACSL__Logic_functions)
     (visibility public)
     (impl)
     (intf))
    ((name Logic_normalizer)
     (obj_name e_ACSL__Logic_normalizer)
     (visibility public)
     (impl)
     (intf))
    ((name Loops) (obj_name e_ACSL__Loops) (visibility public) (impl) (intf))
    ((name Lscope)
     (obj_name e_ACSL__Lscope)
     (visibility public)
     (impl)
     (intf))
    ((name Main) (obj_name e_ACSL__Main) (visibility public) (impl) (intf))
    ((name Memory_observer)
     (obj_name e_ACSL__Memory_observer)
     (visibility public)
     (impl)
     (intf))
    ((name Memory_tracking)
     (obj_name e_ACSL__Memory_tracking)
     (visibility public)
     (impl)
     (intf))
    ((name Memory_translate)
     (obj_name e_ACSL__Memory_translate)
     (visibility public)
     (impl)
     (intf))
    ((name Misc) (obj_name e_ACSL__Misc) (visibility public) (impl) (intf))
    ((name Options)
     (obj_name e_ACSL__Options)
     (visibility public)
     (impl)
     (intf))
    ((name Prepare_ast)
     (obj_name e_ACSL__Prepare_ast)
     (visibility public)
     (impl)
     (intf))
    ((name Quantif)
     (obj_name e_ACSL__Quantif)
     (visibility public)
     (impl)
     (intf))
    ((name Rational)
     (obj_name e_ACSL__Rational)
     (visibility public)
     (impl)
     (intf))
    ((name Rte) (obj_name e_ACSL__Rte) (visibility public) (impl) (intf))
    ((name Rtl) (obj_name e_ACSL__Rtl) (visibility public) (impl) (intf))
    ((name Smart_exp)
     (obj_name e_ACSL__Smart_exp)
     (visibility public)
     (impl)
     (intf))
    ((name Smart_stmt)
     (obj_name e_ACSL__Smart_stmt)
     (visibility public)
     (impl)
     (intf))
    ((name Temporal)
     (obj_name e_ACSL__Temporal)
     (visibility public)
     (impl)
     (intf))
    ((name Translate_annots)
     (obj_name e_ACSL__Translate_annots)
     (visibility public)
     (impl)
     (intf))
    ((name Translate_ats)
     (obj_name e_ACSL__Translate_ats)
     (visibility public)
     (impl)
     (intf))
    ((name Translate_predicates)
     (obj_name e_ACSL__Translate_predicates)
     (visibility public)
     (impl)
     (intf))
    ((name Translate_rtes)
     (obj_name e_ACSL__Translate_rtes)
     (visibility public)
     (impl)
     (intf))
    ((name Translate_terms)
     (obj_name e_ACSL__Translate_terms)
     (visibility public)
     (impl)
     (intf))
    ((name Translate_utils)
     (obj_name e_ACSL__Translate_utils)
     (visibility public)
     (impl)
     (intf))
    ((name Translation_error)
     (obj_name e_ACSL__Translation_error)
     (visibility public)
     (impl)
     (intf))
    ((name Typed_number)
     (obj_name e_ACSL__Typed_number)
     (visibility public)
     (impl)
     (intf))
    ((name Typing)
     (obj_name e_ACSL__Typing)
     (visibility public)
     (impl)
     (intf))
    ((name Varname)
     (obj_name e_ACSL__Varname)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name E_ACSL)
    (obj_name e_ACSL)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
