start of new file

[IRC.git] / Robust / src / RepairTest / specs / Example2 / Example2.space

// Space Definition Language File

set Example(Example);
X: Example -> int;
Y: Example -> int;
Z: Example -> int;