pub fn toric_code_ty() -> Expr
ToricCode : Nat → Type — Kitaev toric code on an L×L torus: encodes 2 logical qubits, distance L.
ToricCode : Nat → Type