Type Definition paxakos::invocation::CommitFor
source · [−]pub type CommitFor<I, A = LogEntryOf<I>> = Commit<StateOf<I>, RoundNumOf<I>, ProjectionOf<A, StateOf<I>>>;
Expand description
Invokes Commit
type constructor so as to be compatible with I
.