pub fn list_decoding_ty() -> Expr
ListDecoding : Nat → Nat → Nat → Type — list decoder that outputs a list of codewords within Hamming distance e.
ListDecoding : Nat → Nat → Nat → Type