pub fn surface_code_threshold_ty() -> Expr
SurfaceCodeThreshold : Prop — surface codes have a fault-tolerance threshold above which logical error rates decrease exponentially with code distance.
SurfaceCodeThreshold : Prop