Open SetTheory.DF SetTheoryTests.Mesa StatementInterpreter Install SetTheory { OPEN IFs: IntFunctions, PCs: PairCollections, Colls: Collections; NULL} _ &f1 _ PCs.CreateHashReln[[Colls.refs, Colls.refs], [TRUE, FALSE], [TRUE, TRUE]] _ &f2 _ PCs.CreateHashReln[[Colls.refs, Colls.refs], [TRUE, FALSE], [TRUE, TRUE]] _ &f12 _ PCs.Compose[&f1, &f2] _ PCs.AddPair[&f1, [$foo, $bar], ALL[ALL[TRUE]], [any[]]] _ PCs.AddPair[&f1, [$fu, $bar], ALL[ALL[TRUE]], [any[]]] _ PCs.AddPair[&f2, [$bar, $baz], ALL[ALL[TRUE]], [any[]]] _ &f1.class.Image[&f1, Colls.Cons[Colls.GetSingletonClass[Colls.refs], $bar], rightToLeft] _ &f12.class.Image[&f12, Colls.Cons[Colls.GetSingletonClass[Colls.refs], $baz], rightToLeft] ZSetTheoryTests.Mesa Last tweaked by Mike Spreitzer on June 25, 1987 9:58:13 am PDT ΚΙ˜code™K™>—K˜K˜%K˜K˜Kš œΟkœΟnœžœžœœ˜IKš œ6œœœœ˜QKš œ6œœœœ˜QK˜Kšœ!œœœ ˜9Kšœ œœœ ˜8Kšœ!œœœ ˜9KšœZ˜ZKšœ\˜\K˜—…—Βε