Function extended_hamming_code_ty 

pub fn extended_hamming_code_ty() -> Expr

ExtendedHammingCode : Nat → Nat → Nat → Type — extended Hamming code (2^r, 2^r - r - 1, 4) obtained by adding an overall parity bit.