You're seeing just the function error_corretion_bits, go back to QRCodeEx.SpecTable module for more information.

error_corretion_bits(error_correction_level()) :: 1..3