library lib : lib = 'http://minimal.oclstdlib'
{
	type Bag(T) : BagType conformsTo Collection(T) {}
	type Boolean : BooleanType conformsTo OclAny {}
	type Class conformsTo OclAny {}	
	type Collection(T) : CollectionType conformsTo OclAny {}
	type Integer : PrimitiveType conformsTo Real {}
	type Map(K,V) : MapType conformsTo OclAny {}
	type OclAny : AnyType {
		operation "="(object2 : OclAny) : Boolean;
	}
	type OclComparable conformsTo OclAny {
		operation compareTo(that : OclSelf) : Integer[1] => 'org.eclipse.ocl.pivot.library.oclany.OclComparableCompareToOperation';	
	}
	type OclElement conformsTo OclAny {}	
	abstract type OclEnumeration conformsTo OclType {}
	type OclInvalid : InvalidType conformsTo OclVoid {}
	type OclLambda conformsTo OclAny {}	
	type OclSelf : SelfType conformsTo OclAny {}
	type OclTuple conformsTo OclAny {}	
	abstract type OclType conformsTo OclElement {}
	type OclVoid : VoidType conformsTo OclAny {}
	type OrderedCollection(T) : CollectionType conformsTo Collection(T) {}
	type OrderedSet(T) : OrderedSetType conformsTo Collection(T) {}
	type Real : PrimitiveType conformsTo OclAny {}
	type Sequence(T) : SequenceType conformsTo Collection(T) {}
	type Set(T) : SetType conformsTo Collection(T) {}
	type String : PrimitiveType conformsTo OclAny {}
	type Tuple : TupleType conformsTo OclAny {}
	type UniqueCollection(T) : CollectionType conformsTo Collection(T) {}
	type UnlimitedNatural : PrimitiveType conformsTo Integer {}
}