pub fn interleaved_code_ty() -> Expr
InterleavedCode : Nat → Nat → Type — interleaved code with interleaving depth d over block length n.
InterleavedCode : Nat → Nat → Type