DEFINITION CardKeys

DEFINITION CardKeys;

   IMPORT Keys;

   TYPE
      Value = POINTER TO ValueRec;
      ValueRec =
	 RECORD
	    (Keys.ValueRec)
	    card: INTEGER;
	 END;

   VAR
      key: Keys.Key;

   PROCEDURE CreateValue(VAR keyval: Value);

END CardKeys.