[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

The function return the index of element in a queue



Hello every one,

I am a beginner of TLA. I have an issue and I hope you can help me.
I want to have a function: getIndex(e, seq) in which e is a value in seq, seq is a sequence. This function must return the index of e in the seq (e is unique in seq)

Coul you help me, please?