Function stabilizer_code_ty 

pub fn stabilizer_code_ty() -> Expr

StabilizerCode : Nat → Nat → Type An [[n, k]] stabilizer code encodes k logical qubits into n physical qubits.