[−][src]Type Definition concorde::StateLD

type StateLD<ObjLD, Peer> = Tuple2<LatticeElt<ObjLD>, CfgLE<Peer>>;

The State lattice combines the Cfg lattice with some user-provided Obj lattice.