INNER CODE UNIT · Rust

from

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

    fn from(v: &Var) -> Self {
        Self::V(v.0.clone(), v.1)
    }
}

impl From<Label> for Var {
    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),
        }
    }
}

View source record →