Function minitt::ast::up_dec_rc

pub fn up_dec_rc<Value: Clone>(
    me: TelescopeRc<Value>, 
    declaration: Declaration
) -> TelescopeRc<Value>

Just for simplifying constructing an Rc. $\rho, p=D$