SetTheoryTests.Mesa
Last tweaked by Mike Spreitzer on June 25, 1987 9:58:13 am PDT
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]