mapping
mapping tracks type-parameter substitutions during checker unification.
Constructors
Section titled “Constructors”Constructor
Section titled “Constructor”new mapping():
mapping
Returns
Section titled “Returns”mapping
Methods
Section titled “Methods”add(
from,to):void
add records a substitution from one type to another.
Parameters
Section titled “Parameters”Type
Type
Returns
Section titled “Returns”void
copy()
Section titled “copy()”copy():
mapping
copy clones the current mapping.
Returns
Section titled “Returns”mapping
find()
Section titled “find()”find(
from): [Type|undefined,boolean]
find returns a substitution when one is present.
Parameters
Section titled “Parameters”Type
Returns
Section titled “Returns”[Type | undefined, boolean]