Robust/src/RepairTest/specs/Example/Example.space

   1 // Space Definition Language File
   2
   3 set Example(Example);
   4 X: Example -> int;
   5 Y: Example -> int;
   6 Z: Example -> int;