module Options:sig
..end
include Plugin.S
implementation of Log.S for E-ACSL
module Run:Parameter_sig.Bool
module Valid:Parameter_sig.Bool
module Gmp_only:Parameter_sig.Bool
module Full_mtracking:Parameter_sig.Bool
module Project_name:Parameter_sig.String
module Builtins:Parameter_sig.String_set
module Temporal_validity:Parameter_sig.Bool
module Validate_format_strings:Parameter_sig.Bool
module Replace_libc_functions:Parameter_sig.Bool
module Assert_print_data:Parameter_sig.Bool
module Functions:Parameter_sig.Kernel_function_set
module Instrument:Parameter_sig.Kernel_function_set
val parameter_states : State.t list
val emitter : Emitter.t
val must_visit : unit -> bool
val dkey_analysis : category
val dkey_prepare : category
val dkey_translation : category
val dkey_typing : category