INTERFACEObGO ; IMPORT GO, ObLib, ObProtoLoader, ObProxiedObj, ObValue, SynLocation; PROCEDURE SetupPackage (); PROCEDURE SetupModule (loader : ObProtoLoader.T); TYPE T <: ObProxiedObj.T; VAR PropUndefined : ObValue.ValException; StackError : ObValue.ValException; PROCEDURE GetArg (args : ObValue.ArgArray; idx : INTEGER; package : ObLib.T; opCode : ObLib.OpCode; loc : SynLocation.T) : GO.T RAISES {ObValue.Error, ObValue.Exception}; END ObGO.