pub fn viterbi_algorithm_ty() -> Expr
ViterbiAlgorithm : Nat → Nat → Prop — Viterbi algorithm achieves maximum-likelihood decoding for convolutional codes.
ViterbiAlgorithm : Nat → Nat → Prop