Module concretize

Source

Functionsยง

concretize_lowered
Concretizes a lowered generic function by applying a generic parameter substitution on its variable types, variants and called functions.