namespace Microsoft.ML.Probabilistic.Distributions
{
    [DataContract]
    [Quality(QualityBand.Experimental)]
    public abstract class SequenceDistribution<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, TWeightFunction, TWeightFunctionFactory, TThis> : CanGetAverageLog<TThis>, CanGetLogAverageOf<TThis>, CanGetLogAverageOfPower<TThis>, CanGetLogNormalizer, CanGetLogProb<TSequence>, HasPoint<TSequence>, IDistribution, IDistribution<TSequence>, Sampleable<TSequence>, SettableToPartialUniform<TThis>, SettableToUniform, Diffable, SettableTo<TThis>, SettableToPower<TThis>, SettableToProduct<TThis>, SettableToProduct<TThis, TThis>, SettableToRatio<TThis>, SettableToRatio<TThis, TThis>, SettableToWeightedSum<TThis>, SettableToWeightedSumExact<TThis>, ICloneable
        where TSequence, class, IEnumerable<TElement>
        where TElementDistribution, new(), CanComputeProduct<TElementDistribution>, CanCreatePartialUniform<TElementDistribution>, CanGetLogAverageOf<TElementDistribution>, IImmutableDistribution<TElement, TElementDistribution>, Sampleable<TElement>, SummableExactly<TElementDistribution>
        where TSequenceManipulator, new(), ISequenceManipulator<TSequence, TElement>
        where TAutomaton, new(), Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>
        where TWeightFunction, new(), IWeightFunction<TWeightFunction>
        where TWeightFunctionFactory, new(), IWeightFunctionFactory<TWeightFunction>
        where TThis, new(), SequenceDistribution<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, TWeightFunction, TWeightFunctionFactory, TThis>
    {
        public static TThis OneOrMore(TThis dist, int? maxTimes = default);
    }
}