Function quantum_ldpc_code_ty 

pub fn quantum_ldpc_code_ty() -> Expr

QuantumLDPCCode : Nat → Nat → Type — quantum LDPC code with n physical qubits and k logical qubits, defined by sparse check matrices.