pub fn convolutional_code_ty() -> Expr
ConvolutionalCode : Nat → Nat → Nat → Type — convolutional code with rate k/n and constraint length K.
ConvolutionalCode : Nat → Nat → Nat → Type