8 lines
133 B
Text
8 lines
133 B
Text
---- MODULE l09_cartesian ----
|
|
EXTENDS Integers, Sequences, TLC
|
|
|
|
CONSTANTS S, T
|
|
|
|
Eval == S \X T
|
|
ASSUME PrintT(<<"Eval", Eval>>)
|
|
====
|