module Exit_or_signal_or_stop: Module_type.Exit_or_signal_or_stop
Module_type.Exit_or_signal_or_stop