--
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/acf45a9b-12cc-4189-8094-750721df34cbn%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/34306500-8df5-4703-8c90-019a0acbe150n%40googlegroups.com.
------------------------------- MODULE model -------------------------------
EXTENDS Integers, Sequences
bv64 == [ {0..63} -> {0,1} ]
xR8 == bv64
xR9 == bv64
xR10 == bv64
xR11 == bv64
xR12 == bv64
xR13 == bv64
xR14 == bv64
xR15 == bv64
=============================================================================