Checks all symbols of some collection, in the context of some program declaration, are all unique.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Check if identifiers found in a FlowDefinition lhs and rhs are all declared.
Check type the identifier found in a FlowDeclartion is declared in the namespace.
Checks identifiers found in a TypeDeclaration for doublons.
Provides utility methods allowing to check if identifiers contained in expressions are declared in a given namespace.