Module Std.Error_check


module Error_check: Error_check

module Toggle: sig .. end
Module for 'toggle' error checking.
module ToggleN: sig .. end
ToggleN error checking is the same as Toggle, except here you may specify a maximum number of failures that will be reported.

With the Timer error checker, the same failure alert will be repeated but only after min_alert_interval has passed.
module Timer: sig .. end
module Step: sig .. end
Module for 'step' error checking with a moving threshold.

Module for reporting every occurrence of the failure state but only the first time the success state is entered.
module ReportAllFails: sig .. end