INNER CODE UNIT · Rust

from

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

    fn from(label: Label) -> Self {
        Self::from(&label)
    }
}
impl From<&Label> for Var {
    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)
    }
}

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…