Functionsยง
- filter_
generics - Creates a new
Generics
object containing only the parameters which are used (including transitively) anywhere in the given sequence of types (usage
), and excluding those which are already in scope (context
). - generics_
as_ args - Converts a
Generics
object to a correspondingPathArguments
object.