Information Hiding Objects

The information hiding principle appears to us to be so important that it should be applied rigorously to all module structures in a system. Hence in Timor there is no other structuring unit except the type with its implementations. In fact Timor supports a number of unusual types (e.g. qualifying types, co-types) but these all conform strictly to the same basic pattern of a type definition which can have several implementations.