Nuprl Definition : event-ordering+
EO+(Info) == EO; "info":es-base-E(self) ─→ Info
Definitions occuring in Statement :
es-base-E: es-base-E(es),
event_ordering: EO,
function: x:A ─→ B[x],
token: "$token",
record+: record+
FDL editor aliases :
event-ordering+
EO+(Info) == EO; "info":es-base-E(self) {}\mrightarrow{} Info
Date html generated:
2015_07_17-PM-00_00_21
Last ObjectModification:
2012_02_25-PM-01_07_20
Home
Index