Function refinement_family_lenses 

pub fn refinement_family_lenses<'a>(
    index: &'a ProjectIndex,
    path: &Path,
) -> Vec<(&'a SiteRef, BaseType, Vec<&'a SiteRef>)>

v0.129 (#259): a refinement-family lens per refined/opaque Type definition in path, as (type def, base, family def sites) — every refined/opaque type (and plain alias) declared over the same builtin base, across the project. The family includes the type itself, so a lens is emitted only for a family of ≥ 2 (a lone refinement has nothing to navigate to — no lens, mirroring capability_provider_lenses). Sorted by definition position, alongside the reference lenses.