Module Signals

module Signals: sig .. end

Useful signals




Called when/if it's time to print statistics

Called before starting solving a problem

Called before exit

Called when dot printers should activate