https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/TypeTemplateParameterBodies._invariant_has_constraining_type.html
TypeTemplateParameterBodies._invariant_has_constraining_type (MDT-OCL Documentation)
invarianttypemdtocldocumentation