[Question][Hw4]

[anisrashidov]

Can you explain me what is ( Object.t * command list ) in processes parameter of Acl.run?
If possible, could you give an example of such an entry?

[tanapthetimid]

It is the list of commands inside an object. For example, in scenario 3: the "conferer" object (which itself is a subject when it starts executing) has 2 commands in its command list, "confer..." and "execute...".