package Libsens.Applications is pragma Pure (Libsens.Applications); type Abstract_Application_Class is abstract tagged null record; type Application_Class is new Abstract_Application_Class with null record; end Libsens.Applications;