DisplayState

rstm_core::state

Trait DisplayState 

Source 
pub trait DisplayState:
    RawState
    + Debug
    + Display { }
Expand description

DisplayState is a trait that extends the RawState trait to include symbolic operations and implementations.

Implementors§

Source§

impl<T> DisplayState for T
where T: RawState + Display,