(* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) (* File: Netwrk.m3 *) (* Last Modified On Mon Dec 28 16:30:05 1992 PST By rustan *) MODULE Netwrk; IMPORT OpaqueType, ObjectRef, Tipe; PROCEDURE Initialize () = BEGIN T := OpaqueType.NewNETWORK (ObjectRef.T); Tipe.Define ("NETWORK", T, TRUE); END Initialize; BEGIN END Netwrk.