Function trellis_coded_modulation_ty 

pub fn trellis_coded_modulation_ty() -> Expr

TrellisCodedModulation : Nat → Nat → Type — TCM scheme combining coding and modulation with bandwidth efficiency b bits/s/Hz.