Function formality::term::reduce

source · 
pub fn reduce(term: &mut Term, defs: &Defs, deref: bool) -> bool