Given two types a and b where a may contain type vars, but b doesn't have any type vars, compute a substituion from type var names to type nodes that converts a to b
a
b
Generated using TypeDoc
Given two types
aandbwhereamay contain type vars, butbdoesn't have any type vars, compute a substituion from type var names to type nodes that converts a to b