---

lg-search(G;x.P[x]) ==
  let s = search(lg-size(G);n.P[lg-label(G;n)]) in
      if (s = 0) then inr   else inl (s - 1)  fi 

---

Definitions :  let: let,  search: search(k;P),  lg-size: lg-size(g),  lambda: x.A[x],  lg-label: lg-label(g;x),  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  inr: inr x ,  it: ,  inl: inl x ,  subtract: n - m,  natural_number: $n
FDL editor aliases :  lg-search

---

lg-search(G;x.P[x])  ==
    let  s  =  search(lg-size(G);\mlambda{}n.P[lg-label(G;n)])  in
            if  (s  =\msubz{}  0)  then  inr  \mcdot{}    else  inl  (s  -  1)    fi 


Date html generated: 2010_08_27-PM-03_47_08
Last ObjectModification: 2010_05_04-PM-12_51_09

Home Index