(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Sat Aug  3 00:20:40 1991 by kalsow         *)
(*      modified on Fri Aug 17 01:50:08 1990 by muller         *)

(* The IOFailure interfaces declares a set of variables that can
   be used as the arguments to Rd.Failure and Wr.Failure. *)
     
INTERFACE IOFailure;

TYPE T = REF Kind;
TYPE Kind = {open, close, fcntl, read, write, lseek, fstat};

(*READONLY*) VAR open, close, fcntl, read, write, lseek, fstat: T;

END IOFailure.