Function output of function store_compute where input key is key, value is value, map is vars, and processed map is visited
helper function for set_key_value that stores processed entries in visited
Format:
output of function store_compute where input key is key, value is value, map is vars, and processed map is visited
Input:
Output:
Properties that reference this function:
Conditional properties that reference this function:
if entry_key = key, then output of function store_compute where input key is key, value is value, map is [ entry entry_key: entry_value, remaining ], and processed map is kvs = result of dumping kvs to [ entry key: value, remaining ]
(link)if not (entry_key = key), then output of function store_compute where input key is key, value is value, map is [ entry entry_key: entry_value, remaining ], and processed map is kvs = output of function store_compute where input key is key, value is value, map is remaining, and processed map is [ entry entry_key: entry_value, kvs ]
(link)
Comments
Please log in to add comments