eo-restrict(eo;P) == eo["dom" := 
e.((eo."dom" e) 
(P e))]
Definitions occuring in Statement :
band: p q,
apply: f a,
lambda: x.A[x],
token: "$token",
record-update: r[x := v],
record-select: r.x
Definitions :
record-update: r[x := v],
lambda: x.A[x],
band: p q,
record-select: r.x,
token: "$token",
apply: f a
FDL editor aliases :
eo-restrict
eo-restrict(eo;P) == eo["dom" := \mlambda{}e.((eo."dom" e) \mwedge{}\msubb{} (P e))]
Date html generated:
2011_08_16-AM-10_21_06
Last ObjectModification:
2010_11_22-PM-03_20_44
Home
Index