upvalue

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology 1[edit]

up +‎ value

Noun[edit]

upvalue (plural upvalues)

  1. (computing, programming) A free variable that has been bound (closed over) with a closure.

Etymology 2[edit]

up- +‎ value

Verb[edit]

upvalue (third-person singular simple present upvalues, present participle upvaluing, simple past and past participle upvalued)

  1. (transitive) To assign a higher value to.