lookup
Perform one step of looking up the most-specific Result that matches the provided list of argument types. Answer another LookupTree with which to continue the search.
Return
The next LookupTree to search.
Parameters
The list of argument types being looked up.
An optional immutable List of additional values, only created when needed.
The adaptor for interpreting the values in the tree, and deciding how to narrow the elements that are still applicable at each internal node of the tree.
A memento for the adaptor to use.
Perform one step of looking up the most-specific Result that matches the provided tuple of argument types. Answer another LookupTree with which to continue the search.
Return
The next LookupTree to search.
Parameters
The tuple of argument types being looked up.
An optional immutable List of additional values, only created when needed.
The adaptor for interpreting the values in the tree, and deciding how to narrow the elements that are still applicable at each internal node of the tree.
A memento for the adaptor to use.