MODULE; IMPORT ObLib, ObValue, SynLocation; PROCEDURE ObBool GetArg (args : ObValue.ArgArray; idx : INTEGER; package : ObLib.T; opCode : ObLib.OpCode; loc : SynLocation.T) : BOOLEAN RAISES {ObValue.Error} = BEGIN TYPECASE args[idx] OF ObValue.ValBool (node) => RETURN node.bool; ELSE ObValue.BadArgType (idx, "Bool", package.name, opCode.name, loc); RETURN FALSE; (* ... only to suppress compiler warning *) END; END GetArg; BEGIN END ObBool.