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