[tlaplus] When to prefer function or operator?

["thomas...@xxxxxxxxx" <thomasgebert@xxxxxxxxx>]

There are cases when either a function or operator will solve a task more-or-less equivalently.

For example, both this function and operator accomplish a roughly-equivalent result: 

addOne[x \in Nat] == x + 1

addOneOperator(x) == x + 1

My question is: when either an operator or function will accomplish a job, which one would you prefer?  What are the tradeoffs? 

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6108b306-0d5a-4a0f-80bf-6c56ebefc51fn%40googlegroups.com.