Function convolutional_code_ty 

pub fn convolutional_code_ty() -> Expr

ConvolutionalCode : Nat → Nat → Nat → Type — convolutional code with rate k/n and constraint length K.