Function gluon_base::instantiate::type_of_alias

pub fn type_of_alias(alias: &AliasData<Symbol, ArcType>,
                     args: &[ArcType])
                     -> Option<ArcType>

Returns the type which is aliased by alias if it was possible to do a substitution on the type arguments of alias using args

Example: alias = Result e t (| Err e | Ok t) args = [Error, Option a] result = | Err Error | Ok (Option a)