Type Definition threshold::clock::AEClock

type AEClock<A> = Clock<A, AboveExSet>;