Module Kernel.StopAtFirstAlarm


module StopAtFirstAlarm: Plugin.Bool 
Stop propagation at first alarm

include Plugin.Parameter
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.