Process J - A Concurrent Language CSP semantics - Java-like syntax
Log in Sign up

Error 2103

Message

Type with name 'XXX' already declared in this scope.

Explanation

Attempting to declare a protocol type with a name that is already used by a different type in the same top-level scope.

Discussion

Nothing here yet!