Function libunseemly::beta::env_from_beta

pub fn env_from_beta<Mode: WalkMode>(
    b: &Beta, 
    parts: &LazyWalkReses<Mode>
) -> Result<Assoc<Name, Mode::Elt>, Mode::Err>

Find the environment represented by b. SameAs and Basic nodes will cause walking in Mode, which should be positive. TODO: Unfortunately, this means that they don’t work well in the subtyping walk, for instance.