Function systematic_code_ty 

pub fn systematic_code_ty() -> Expr

SystematicCode : Nat → Nat → Nat → Type — an (n, k, d) code in systematic form [I_k | P].