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