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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Fri, 21 Aug 2020 19:21:12 +0200*References*: <6108b306-0d5a-4a0f-80bf-6c56ebefc51fn@googlegroups.com> <2DCACC85-ABF7-46A0-8718-40EE5785F56F@gmail.com> <f9fd9da4-02b6-48fe-84b9-c79dab04bfacn@googlegroups.com>

Hello, indeed, assuming that you are not interested in making explicit the domain of the function, there is no big difference between the two. You shouldn't see any noticeable difference when using TLC or TLAPS either. Regards, Stephan
--
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/2384E3A4-A19F-46CC-956A-ADB2F912C153%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] When to prefer function or operator?***From:*thomas...@xxxxxxxxx

**References**:**[tlaplus] When to prefer function or operator?***From:*thomas...@xxxxxxxxx

**Re: [tlaplus] When to prefer function or operator?***From:*Stephan Merz

**Re: [tlaplus] When to prefer function or operator?***From:*thomas...@xxxxxxxxx

- Prev by Date:
**Re: [tlaplus] When to prefer function or operator?** - Next by Date:
**Re: [tlaplus] When to prefer function or operator?** - Previous by thread:
**Re: [tlaplus] When to prefer function or operator?** - Next by thread:
**Re: [tlaplus] When to prefer function or operator?** - Index(es):