INNER CODE UNIT · Rust

from

lurk-lab/lurk-beta · foil/src/lib.rs:178

    fn from(label: &Label) -> Self {
        match label {
            Label::V(v, id) => Self(v.clone(), *id),
            Label::F(f) => Self(f.clone(), None),
        }
    }
}

impl<T: MetaData> From<Func<T>> for Var {
    fn from(f: Func<T>) -> Self {
        Self::from(&f)
    }
}

impl<T: MetaData> From<&Func<T>> for Var {
    fn from(f: &Func<T>) -> Self {
        Self(f.name().into(), None)
    }

View source record →