Nuprl Definition : cp-state-type
cp-state-type(cp;i) == if i ∈ dom(cp) then let A,ks,typ,h,acc,init = cp(i) in A else Void fi
Definitions occuring in Statement :
fpf-ap: f(x),
fpf-dom: x ∈ dom(f),
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
spreadn: spread6,
void: Void
FDL editor aliases :
cp-state-type
Latex:
cp-state-type(cp;i) == if i \mmember{} dom(cp) then let A,ks,typ,h,acc,init = cp(i) in A else Void fi
Date html generated:
2016_05_16-PM-00_57_47
Last ObjectModification:
2013_03_27-AM-10_56_55
Theory : event-ordering
Home
Index