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