VDict mobile



Extensional properties, e.g. extensional equality, relate to
the "black-box" behaviour of an object, i.e. how its output
depends on its input. The opposite is intensional which
concerns how the object is implemented.