Type Definition concorde::StateLD

type StateLD<ObjLD, Peer> = Tuple2<ObjLD, CfgLD<Peer>>;

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