TLC, though, effectively has types. If you check x \in Nat and x is a string, then TLC won't return FALSE, it will raise an error.
H
TLA+ and PlusCal don’t really have types. You can check for things like x \in Nat or x \in BOOLEAN to see whether it is in a given set of values.--
Andrew
--On Tuesday, July 25, 2023 at 9:41:50 PM UTC-4 christin...@xxxxxxxxx wrote:
Is there a built in function to check the type of a variable in Pluscal? Something similar to typeid in c++? I've tried searching but I can't find anything.
Thanks in advance!
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/9fd4aa9c-e599-4ca1-ac9d-868e41235518n%40googlegroups.com.