pub fn surface_code_ty() -> Expr
SurfaceCode : Nat → Type Topological surface code on an L×L lattice with [[L²+(L-1)², 1, L]] parameters.
SurfaceCode : Nat → Type