Trait ValidCommutativityFor 

pub trait ValidCommutativityFor<O: Ordering>: Sealed<O> { }

Marker trait identifying that the commutativity property is valid for the given stream ordering.

Implementors

impl ValidCommutativityFor<TotalOrder> for NotProved

impl<O: Ordering> ValidCommutativityFor<O> for Proved