Type Definition threshold::clock::VClock

type VClock<A> = Clock<A, MaxSet>;