Function interleaved_code_ty 

pub fn interleaved_code_ty() -> Expr

InterleavedCode : Nat → Nat → Type — interleaved code with interleaving depth d over block length n.