Function product_code_ty 

pub fn product_code_ty() -> Expr

ProductCode : Nat → Nat → Nat → Nat → Type — tensor product code C1 ⊗ C2 with parameters (n1n2, k1k2, d1*d2).