Measurable functional dependence survives ordinal sums (re-export) #
Compatibility module. The development lives in
Copula.Rank.Region.Common.Functional, namespace
ProbabilityTheory.Copula.RankRegion.Common. The export below makes its public
declarations available under
ProbabilityTheory.Copula.RankRegion.TauFootruleBeta.Support
as the very same constants.