upvalue

English dictionary entry

Meanings

noun
  1. A free variable that has been bound (closed over) with a closure.
verb
  1. To assign a higher value to.

Word forms

upvalue upvalues upvaluing upvalued

Etymology

From up + value.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.