DEFINITION MODULE TERMINATION;
(* ISO 10514-1: enquiries about program termination events. *)

PROCEDURE IsTerminating () : BOOLEAN;
(* TRUE once any coroutine has started program termination. *)

PROCEDURE HasHalted () : BOOLEAN;
(* TRUE once HALT has been called. *)

END TERMINATION.