// Local aliases for the imported types the confchange sources name unqualified.

///|
using @raftpb {type ConfState}

///|
using @tracker {type Progress}