A declaration statement has one of the forms
CONSTANT c1,...,cn VARIABLE v1,...,vn
where each vi is an identifier and each ci is either an identifier or has the form Op(, ... , ), for some identifier Op.
--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3a468826-b8f0-40af-b8d6-0460adac2b71n%40googlegroups.com.