Nuprl Definition : l_treeco

l_treeco(L;T) ==
  corec(X.lbl:Atom × if lbl =a "leaf" then L
                     if lbl =a "node" then val:T × left_subtree:X × X
                     else Void
                     fi )



Definitions occuring in Statement :  corec: corec(T.F[T]) ifthenelse: if then else fi  eq_atom: =a y product: x:A × B[x] token: "$token" atom: Atom void: Void
FDL editor aliases :  l_treeco
l\_treeco(L;T)  ==
    corec(X.lbl:Atom  \mtimes{}  if  lbl  =a  "leaf"  then  L
                                          if  lbl  =a  "node"  then  val:T  \mtimes{}  left$_{subtree}$:X  \mtimes{}  X
                                          else  Void
                                          fi  )



Date html generated: 2015_07_17-AM-07_41_16
Last ObjectModification: 2014_05_05-PM-02_27_23

Home Index