Function list_decoding_ty 

pub fn list_decoding_ty() -> Expr

ListDecoding : Nat → Nat → Nat → Type — list decoder that outputs a list of codewords within Hamming distance e.