Nuprl Definition : ohc_v2_when_new_init
ohc_v2_when_new_init(Cmd) ==
loc,zo.let n,c = zo in z.let max,missing = z in if max <z n 
deq-member(IntDeq;n;missing) then {<n, c>} else {} fi
Definitions occuring in Statement :
bor: p q,
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
deq-member: deq-member(eq;x;L),
int-deq: IntDeq,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
ohc_v2_when_new_init
ohc\_v2\_when\_new\_init(Cmd) ==
\mlambda{}loc,zo.
let n,c = zo
in \mlambda{}z.let max,missing = z
in if max <z n \mvee{}\msubb{}deq-member(IntDeq;n;missing) then \{<n, c>\} else \{\} fi
Date html generated:
2012_02_20-PM-05_51_35
Last ObjectModification:
2012_02_17-PM-10_25_28
Home
Index