org.eclipse.ocl.types.util
Classes 
TypesAdapterFactory
TypesSwitch
TypesValidator