IMPLEMENTATION MODULE HashType;

END HashType.