Called by the generic function x OR y when x and y are of type Workspace.
WORKSPACE_OR() w1=Workspace w2=Workspace w1 OR w2
The default procedure definition and the calculation of errors for this procedure is shown below.
PROCEDURE workspace_or; PARAMETERS w1=workspace w2=workspace; RESULT wres printin "Operation OR is not defined for workspaces" ENDPROCEDURE