INTERFACE ObScope;
IMPORT SynLocation, ObErr, ObTree, ObLib;

TYPE
  Env <: ROOT;
  TermEnv <: Env;

  PROCEDURE Setup();
  (* To be called before any other use of this module. *)

PROCEDURE UnboundIdes(freeEnv: Env) RAISES {ObErr.Fail};

PROCEDURE NewTermEnv(location: SynLocation.T; name: ObTree.IdeName;
     libEnv: ObLib.Env; rest: TermEnv): TermEnv RAISES {ObErr.Fail};

PROCEDURE ScopeTerm(term: ObTree.Term; libEnv: ObLib.Env;
  VAR (*in-out*)local,global: Env; temp: BOOLEAN:=FALSE) RAISES {ObErr.Fail};

END ObScope.