Trait Evaluator
depend
pub trait Evaluator<'t>: 't { type Value: 't; fn eval(&self, r: &mut Require<'t>) -> Self::Value; }
type Value: 't
fn eval(&self, r: &mut Require<'t>) -> Self::Value
impl<'t, T: 't, F: Fn(&mut Require<'t>) -> T + 't> Evaluator<'t> for F type Value = T;
impl<'t, T: 't> Evaluator<'t> for Value<T> type Value = T;