1 2 3 4 5 6 7
// Local aliases for the imported types the confchange sources name unqualified. ///| using @raftpb {type ConfState} ///| using @tracker {type Progress}