<> <> <> DIRECTORY Globals, Hash, IO; GlobalsImpl: CEDAR PROGRAM EXPORTS Globals = BEGIN OPEN Globals; VddNode, GroundNode: PUBLIC Node _ NIL; NodeTable: PUBLIC Hash.Table _ NIL; StdOut: PUBLIC IO.STREAM _ NIL; DupsOK: PUBLIC BOOLEAN _ FALSE; Stop: PUBLIC REF BOOLEAN _ NEW[BOOLEAN _ FALSE]; END.