[Int,Obj] to [Obj,Obj]

Description

Translates SOURCE [INTEGER,OBJ] into SOURCE [OBJ,OBJ].

The OBJ IDs to be used are given by OBJS and are assigned arbitrarily to the reuslt.

WARNINGS:

  • This is a low-level block, do not use unless you know what you are doing.

  • This block assumes that OBJS has at least as many unique OBJ IDs as there are unique INTEGER values in SOURCE.

  • You should not use this block multiple times with the same OBJS input

Input

  • SOURCE [INTEGER,OBJ]: a list of pairs

  • OBJS [OBJ]: a list of objects

Output

  • RESULT [OBJ,OBJ]: The same list as in SOURCE, where each unique INTEGER has been replaced with a unique OBJ coming from OBJS

Parameters