Type Alias InferredDisableResolver 

pub type InferredDisableResolver = for<'d> fn(&Symbol<'d>) -> Result<InferredDisable<'d>, String>;

A resolver of InferredDisable for any symbol of a checker’s body.