makemap
shown here for N = 2
| Name | Type | Description | Optional |
|---|---|---|---|
in0 |
<?0, ?1> |
first key / value pair of new map |
no |
in1 |
<?0, ?1> |
second key / value pair of new map |
no |
… |
|||
in N-1 |
<?0, ?1> |
final key / value pair of new map |
no |
| Name | Type | Description | Optional |
|---|---|---|---|
output |
map<?0, ?1> |
map with N key / value pairs |
no |
makemap reads each of its N inputs, each one a tuple of key and value, and outputs a map with those N key / value pairs. The key type is is the first element of each input tuple, and the value type is the second.