Function sic::term::reduce

source ·
pub fn reduce(term: &Term) -> Term