pub fn surface_code_ty() -> Expr
SurfaceCode : Nat → Type A surface code of linear size d (code distance d, n ≈ 2d² physical qubits, 1 logical qubit).
SurfaceCode : Nat → Type