https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/xtext/essentialocl/services/EssentialOCLGrammarAccess.NavigationOperatorCSElements.html
EssentialOCLGrammarAccess.NavigationOperatorCSElements (MDT-OCL Documentation)
mdtocldocumentation