Data.SBV.Tools.ExpectedValue

Computing expected values

expectedValue

expectedValueWith