(*
    Title: 	KeyOutput
    LastEdit:	"Fri Sep 21 09:42:13 1984"
    Author: 	Mick Jordan
		Cambridge University Computer Laboratory
*)

DEFINITION MODULE KeyOutput;

FROM Streams IMPORT Stream;
FROM ReadMcd IMPORT IMPORTFRAMEPTR;
EXPORT QUALIFIED OutputKeys;

PROCEDURE OutputKeys(s: Stream; Headerframe, Imports: IMPORTFRAMEPTR);
(*  output the module keys to the key file on stream 's'.
*)
END KeyOutput.
