Called by the generic function x = y when x and y are of type Workspace.
WORKSPACE_EQUAL() w1=Workspace w2=Workspace w1 = w2
The default procedure definition and the calculation of errors for this procedure is shown below.
PROCEDURE workspace_equal; PARAMETERS w1=workspace w2=workspace; RESULT wres wres = (w1.x = w2.x) AND (w1.xlabel = w2.xlabel) AND ( w1.y = w2.y ) ENDPROCEDURE