Previous
Up
Next
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