How to trigger a random trigger device from an array

Add an editable field and select all of the devices you need in the editor. Then go from there.

@editable my_trigger_device : []trigger_device = array{}

Look at the Random module which has
GetRandomInt(min, max)