Type Definition StateLE
concorde
type StateLE<ObjLD, Peer> = LatticeElt<StateLD<ObjLD, Peer>>;
impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> StateLEExt<ObjLD, Peer> for StateLE<ObjLD, Peer> where ObjLD::T: Clone + Debug + Default,
fn object(&self) -> &LatticeElt<ObjLD>
fn config(&self) -> &CfgLE<Peer>