Function puffin::algebra::term::append

fn append<'a, PT: ProtocolTypes>(
    term: &'a DYTerm<PT>,
    v: &mut Vec<&'a DYTerm<PT>>,
)