Function bch_code_ty 

pub fn bch_code_ty() -> Expr

BCHCode : Nat → Nat → Nat → Type — BCH code of length n, design distance δ, over GF(q^m).