<> <> 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]