[tlaplus] Function composition operator

[Aman Shaikh <amanshaikh75@xxxxxxxxx>]

Hi

Does TLA+ define a function composition operator? I.e., given two functions f and g, can I declare something along those lines:

h == f \function_composition_operator g?

Thus,

h[x] = f[g[x]] for every x \in the domain of 'g'.

Naturally, the range of function 'g' has to be a subset of the domain of 'f' for this to make sense.

thx

aman

-- 
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/CA%2B13N%3DvhzmTHfRxJ4ncsiwqXcNcCYbaSX2fPfUEbX1%2Bt%3DsH4Ew%40mail.gmail.com.