package Applications.Keen is
pragma Elaborate_Body;
private
type Keen_Application is new Application with null record;
procedure Construct( this : access Keen_Application );
function Get_Name( this : access Keen_Application ) return String;
pragma Postcondition( Get_Name'Result'Length > 0 );
function Get_Window_Title( this : access Keen_Application ) return String;
function Init( this : access Keen_Application ) return Boolean;
end Applications.Keen;