ptr(tab) ==  fst(snd(tab))
Definitions : 
pi1: fst(t), 
pi2: snd(t)
FDL editor aliases : 
st-ptr
ptr(tab)  ==    fst(snd(tab))
Date html generated:
2010_08_27-AM-09_33_53
Last ObjectModification:
2009_12_16-AM-01_14_05
Home
Index