Nuprl Definition : st-key
key(tab;n) == fst(snd(((snd(snd(tab))) n)))
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
apply: f a
FDL editor aliases :
st-key
st-key
key(tab;n) == fst(snd(((snd(snd(tab))) n)))
Date html generated:
2015_07_17-AM-08_55_54
Last ObjectModification:
2013_03_25-PM-01_53_04
Home
Index