Module Region_probs.Distribution

module type Distribution_S = sig ... end
module From_Data (D : Data_S) : Distribution_S with type domain = D.domain