module Options: sig
.. end
implementation of Log.S for E-ACSL
include Plugin.S
implementation of Log.S for E-ACSL
module Check: Parameter_sig.Bool
module Run: Parameter_sig.Bool
module Valid: Parameter_sig.Bool
module Prepare: Parameter_sig.Bool
module Gmp_only: Parameter_sig.Bool
module Full_mmodel: Parameter_sig.Bool
module Project_name: Parameter_sig.String
module Builtins: Parameter_sig.String_set
module Temporal_validity: Parameter_sig.Bool
val must_visit : unit -> bool
val dkey_analysis : Log.category
val dkey_dup : Log.category
val dkey_translation : Log.category
val dkey_typing : Log.category