An effect with known bounds on how easy it is to detect.
Used when deciding whether or not an operation is negligible. For example, the trace distance between the states before and after a Z**0.00000001 operation is very close to 0, so it would typically be considered negligible.
Initialize self. See help(type(self)) for accurate signature.
A maximum on the trace distance between this effect’s input/output.