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

(* Last modified on Wed Jul  1 21:19:07 1992 by rustan         *)

(* Rustan Leino *)
(* a temporary interface for type NETWORK *)

INTERFACE Network;

TYPE
  NETWORK <: ROOT;

END Network.