Type Definition threshold::clock::BEClock

type BEClock<A> = Clock<A, BelowExSet>;