Nuprl Definition : is-run-event
is-run-event(r;t;x) == let info,S = r t in isl(info) ∧b let ev,z,m = outl(info) in x = z
Definitions occuring in Statement :
eq_id: a = b,
band: p ∧b q,
outl: outl(x),
isl: isl(x),
spreadn: spread3,
apply: f a,
spread: spread def
FDL editor aliases :
is-run-event
Latex:
is-run-event(r;t;x) == let info,S = r t in isl(info) \mwedge{}\msubb{} let ev,z,m = outl(info) in x = z
Date html generated:
2015_07_23-AM-11_10_25
Last ObjectModification:
2012_02_25-PM-03_40_45
Home
Index