nonreversible — The exponential function

Usage

nonreversible(x: CTMC<a>) → CTMC<a>

Arguments

x