Type Alias JudgeFuture 

pub type JudgeFuture = Pin<Box<dyn Future<Output = Result<Judgement>> + Send>>;

A judge: given the instruction and the matched claims, rules on them. Owned arguments, so a boxed future needs no borrow.

Aliased Type

#[repr(transparent)]
pub struct JudgeFuture { /* private fields */ }