Function css_code_ty 

pub fn css_code_ty() -> Expr

CSSCode : Nat → Nat → Type — Calderbank-Shor-Steane (CSS) code constructed from two classical codes C1 ⊇ C2.