Nuprl Definition : m_ping_pong_MemState
m_ping_pong_MemState() ==
let F = 
z,loc,L.if deq-member(IdDeq;loc;L) then {L} else {[loc / L]} fi in
F@Loc|Loc, m_ping_pong_Alive(), Prior(self)?l.{[]}|
Definitions occuring in Statement :
m_ping_pong_Alive: m_ping_pong_Alive(),
concat-lifting-loc-2: f@Loc,
rec-combined-loc-class-opt-1: F|Loc, X, Prior(self)?init|,
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
let: let,
lambda: x.A[x],
cons: [car / cdr],
nil: [],
deq-member: deq-member(eq;x;L),
single-bag: {x}
FDL editor aliases :
m_ping_pong_MemState
m\_ping\_pong\_MemState() ==
let F = \mlambda{}z,loc,L.if deq-member(IdDeq;loc;L) then \{L\} else \{[loc / L]\} fi in
F@Loc|Loc, m\_ping\_pong\_Alive(), Prior(self)?\mlambda{}l.\{[]\}|
Date html generated:
2012_02_20-PM-06_24_16
Last ObjectModification:
2012_02_02-PM-02_48_35
Home
Index