R/combinators.R
then_pureDP_to_zCDP.Rd
See documentation for make_pureDP_to_zCDP() for details.
make_pureDP_to_zCDP()
then_pureDP_to_zCDP(lhs, measurement)
The prior transformation or metric space.
a measurement with a privacy measure to be casted
Measurement