Nuprl Definition : priority-select

priority-select(f;g;as) ==
  accumulate (with value x and list item m):
   if isl(x) then x
   if f m then inl tt
   if g m then inl ff
   else x
   fi
  over list:
    as
  with starting value:
   inr ⋅ )

Definitions occuring in Statement : list_accum: list_accum, ifthenelse: if b then t else f fi , isl: isl(x), bfalse: ff, btrue: tt, it: ⋅, apply: f a, inr: inr x , inl: inl x
Definitions occuring in definition : list_accum: list_accum, isl: isl(x), btrue: tt, ifthenelse: if b then t else f fi , apply: f a, inl: inl x, bfalse: ff, inr: inr x , it: ⋅
FDL editor aliases : priority-select

Latex:
priority-select(f;g;as) == accumulate (with value x and list item m): if isl(x) then x if f m then inl tt if g m then inl ff else x fi over list: as with starting value: inr \mcdot{} ) Date html generated: 2016_05_15-PM-03_53_00 Last ObjectModification: 2015_09_23-AM-07_45_24 Theory : general Home Index