pub fn nonbinary_turbo_code_ty() -> Expr
NonbinaryTurboCode : Nat → Nat → Type — turbo code over GF(q): two RSC codes over GF(q) with interleaver.
NonbinaryTurboCode : Nat → Nat → Type