Region_probs.Distribution
module type Distribution_S = sig ... end
module From_Sampler (S : Sampler_S) : Distribution_S with type domain = S.domain
module From_Data (D : Data_S) : Distribution_S with type domain = D.domain