DEFINITION ExportedFeatures

Index

    DEFINITION ExportedFeatures; (*documentation...*)

    	IMPORT F := Files;

    	CONST
    		s = "s* = 'foo'; (**"; (*(*"foo"*)*)

    	TYPE
    		T = RECORD
    			f: RECORD (*documentation...*)
    				h: INTEGER
    			END;
    		END;

    		T1 = RECORD (T) END;

    	VAR
    		x: T; (*documentation...*)
    		u: F.File;

    	PROCEDURE P(x: INTEGER;
    		y: REAL;
    		z: BYTE);
    (*documentation,
    documentation...*)

    	PROCEDURE R((*in/out*) VAR x: INTEGER; (*out*) VAR y: REAL; VAR z: BYTE);
    (*documentation...*)

    END ExportedFeatures.