unit_mixture

Usage

unit_mixture(submodel: CTMC<a>) → DiscreteDist<CTMC<a>>

Arguments

submodel