Numeric.Probability.Transition

Transitions

type Change a
type T prob a

Spreading changes into transitions

type SpreadC prob a

Spreading transitions into transitions

type SpreadT prob a