Nuprl Definition : pv8_p2_add_if_new
pv8_p2_add_if_new(Cid;Op) == 
test,val,lst.if (
ze
lst.test val ze)_b then lst else lst @ [val] fi
Definitions occuring in Statement :
append: as @ bs,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
cons: [car / cdr],
nil: [],
bl-exists: (xL.P[x])_b
FDL editor aliases :
pv8_p2_add_if_new
pv8_p2_add_if_new
pv8\_p2\_add\_if\_new(Cid;Op) == \mlambda{}test,val,lst.if (\mexists{}ze\mmember{}lst.test val ze)\_b then lst else lst @ [val] fi
Date html generated:
2012_02_20-PM-07_35_57
Last ObjectModification:
2012_02_06-PM-03_04_12
Home
Index