Nuprl Definition : OARcast

Nuprl Definition : OARcast_OrdererState

OARcast_OrdererState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) ==

  state-class1(λslf.[];OARcast_on_order_update(M);OARcast_order'verify(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf))

Definitions occuring in Statement : OARcast_on_order_update: OARcast_on_order_update(M), OARcast_order'verify: OARcast_order'verify(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), state-class1: state-class1(init;tr;X), nil: [], lambda: λx.A[x]
FDL editor aliases : OARcast_OrdererState

Latex:
OARcast\_OrdererState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) == state-class1(\mlambda{}slf.[];OARcast\_on\_order\_update(M);OARcast\_order'verify(M;deliverhdr;...;...;...;mf)) Date html generated: 2015_07_23-PM-00_32_09 Last ObjectModification: 2014_08_20-PM-00_04_53 Home Index