pub fn css_code_ty() -> Expr
CSSCode : Nat → Nat → Type Calderbank-Shor-Steane code built from two classical linear codes C₁ ⊇ C₂.
CSSCode : Nat → Nat → Type