Type Alias RevocationCheck 

pub type RevocationCheck<C> = (Arc<dyn RevocationList>, Arc<dyn Fn(&C) -> Option<String> + Sync + Send>);

Pair of RevocationList and a JTI extractor used to wire revocation onto a verifier.