/// Embed and owned reference to a value
Embed and owned reference to a value
Embed and owned reference to a value
pub fn owned<'x, 'y: 'x, T: Variable<'y>+'y>(x: T) -> Var<'x, 'y>
        where 'y: 'x, T: 'y
    {
        Var(Val::Rc(OwningRef::new(Rc::new(x))
                .map(|x| x as &Variable).erase_owner()))
    }
pub fn owned < ' x , ' y : ' x , T : Variable < ' y > + ' y > ( x : T ) -> Var < ' x , ' y > where ' y : ' x , T : ' y { Var ( Val :: Rc ( OwningRef :: new ( Rc :: new ( x ) ) . map ( | x | x as & Variable ) . erase_owner ( ) ) ) }
Embed and owned reference to a value
Embed and owned reference to a value
x
T