Trait ezno_checker::features::functions::ClosureChain

source · 
pub trait ClosureChain {
    // Required method
    fn get_fact_from_closure<T, R>(
        &self,
        fact: &LocalInformation,
        cb: T
    ) -> Option<R>
       where T: Fn(ClosureId) -> Option<R>;
}

Required Methods§

source

fn get_fact_from_closure<T, R>( &self, fact: &LocalInformation, cb: T ) -> Option<R>
where T: Fn(ClosureId) -> Option<R>,

Object Safety§

This trait is not object safe.

Implementors§