Substitute σx into σ, replacing all type variables with name x. This function is primarily used by Π's specialize function. Structs and Classes can implement SubstituteImpl(σx, x) to allow specialization.
static assert(is(Substitute!(Object, "x", α!("x")*) == Object*)); static assert(is(Substitute!(Object, "x", α!("x") function(α!("x"))) == Object function(Object)));
See Implementation
Substitute σx into σ, replacing all type variables with name x. This function is primarily used by Π's specialize function. Structs and Classes can implement SubstituteImpl(σx, x) to allow specialization.