Sponging   disallowed (Read-only view)

The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.

% meta-cartridges called:
Meta-cartridge [execution time]: