[][src]Type Definition nar::check::pats::RedM

type RedM<Ok, Err> = Result<(Simpl, Ok), Err>;

Reduce Monad.