sig
type alarm_behavior = { a_log : bool; a_call : unit -> unit; }
val a_ignore : CilE.alarm_behavior
type warn_mode = {
imprecision_tracing : CilE.alarm_behavior;
defined_logic : CilE.alarm_behavior;
unspecified : CilE.alarm_behavior;
others : CilE.alarm_behavior;
}
val warn_all_mode : CilE.warn_mode
val warn_none_mode : CilE.warn_mode
end