Definition of class K