-- ReadGriffin.mesa
-- Last changed by Maureen Stone 22-Jun-81 18:40:59
DIRECTORY
Rope USING [Ref];
ReadGriffin: DEFINITIONS = {
ViewType: TYPE = {main,alternate,both};
--views are main=the one showing when the file was written,
--alternate=the other view, and both.
--filename need not include extension
ReadFile: PROCEDURE [filename: Rope.Ref, view: ViewType];
GriffinFileError: SIGNAL[why: Rope.Ref];
}.