package Game_Views.Keen.Actions.KeysTo API docTo specTo body is
procedure Action_Quit_KeyTo API docTo body( action : A_Key_ActionTo API docTo spec; handled : out Boolean );
end Game_Views.Keen.Actions.KeysTo API docTo specTo body;