Skip to main content

surface_code_ty

oxilean_std::coding_theory::functions

Function surface_code_ty 

Source 
pub fn surface_code_ty() -> Expr
Expand description

SurfaceCode : Nat → Type — Kitaev surface code on an L×L planar lattice with distance L.