Function gluon_base::resolve::canonical_alias

pub fn canonical_alias<'t, F>(
    env: &TypeEnv, 
    typ: &'t ArcType, 
    canonical: F
) -> Cow<'t, ArcType> where
    F: FnMut(&AliasRef<Symbol, ArcType>) -> bool, 

Resolves aliases until canonical returns true for an alias in which case it returns the type that directly contains that alias