Function type_alias 

pub fn type_alias(
    name: GeneratedToken,
    parameters: Vec<Vec<GeneratedToken>>,
    value: Vec<GeneratedToken>,
    predicates: Vec<Vec<GeneratedToken>>,
) -> Vec<GeneratedToken>

One type alias type Name<...> = value where ...;.