deferred class CHILD

$INHERITANCE

feature

	$ROUTINE

	cancel_actions: ACTION_SEQUENCE [TUPLE]
end