MatchingKeys(k1;k2) ==
((fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))) k1 k2)
Definitions :
assert: b,
apply: f a,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
ses-key-rel
MatchingKeys(k1;k2) == \muparrow{}((fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))) k1 k2)
Date html generated:
2010_08_28-AM-02_05_15
Last ObjectModification:
2010_02_22-PM-01_51_12
Home
Index