pub fn up_var_rc<Value: Clone>(
    me: TelescopeRc<Value>,
    pattern: Pattern,
    value: Value,
) -> TelescopeRc<Value> {
    Rc::new(GenericTelescope::UpVar(me, pattern, value))
}
/// Just for simplifying constructing an `Rc`.
/// $\rho, p=v$
Just for simplifying constructing an `Rc`.
Just for simplifying constructing an ` Rc ` .
pub fn up_var_rc<Value: Clone>(
    me: TelescopeRc<Value>,
    pattern: Pattern,
    value: Value,
) -> TelescopeRc<Value> {
    Rc::new(GenericTelescope::UpVar(me, pattern, value))
}
pub fn up_var_rc < Value : Clone > ( me : TelescopeRc < Value > , pattern : Pattern , value : Value , ) -> TelescopeRc < Value > { Rc :: new ( GenericTelescope :: UpVar ( me , pattern , value ) ) }
Just for simplifying constructing an `Rc`.
Just for simplifying constructing an ` Rc ` .
me
TelescopeRc<Value>
pattern
Pattern
value
Value
me
TelescopeRc<Value>
pattern
Pattern
value
Value