Skip to main content

concatenated_code_decoding_ty

oxilean_std::coding_theory::functions

Function concatenated_code_decoding_ty 

Source 
pub fn concatenated_code_decoding_ty() -> Expr
Expand description

ConcatenatedCodeDecoding : Nat → Nat → Prop — concatenated codes decoded by generalized minimum distance (GMD) decoding can correct a fraction of errors.