def combineConcentrated (U : ℕ+) (ε₁ : ℕ+) (ε₂ : ℕ+) : SLang.DPSystem.prop (SLang.privNoisedBoundedMean U ε₁ ε₂) (↑↑ε₁ / ↑↑ε₂)

Equations

• combineConcentrated = ⋯

def combinePure (U : ℕ+) (ε₁ : ℕ+) (ε₂ : ℕ+) : SLang.DPSystem.prop (SLang.privNoisedBoundedMean U ε₁ ε₂) (↑↑ε₁ / ↑↑ε₂)

Equations

• combinePure = ⋯