Nuprl Definition : MMTreeco

MMTreeco(T) ==  corec(X.lbl:Atom × if lbl =a "Leaf" then T if lbl =a "Node" then X List List else Void fi )


Definitions occuring in Statement :  list: T List,  corec: corec(T.F[T]),  ifthenelse: if b then t else f fi ,  eq_atom: x =a y,  product: x:A × B[x],  token: "$token",  atom: Atom,  void: Void
FDL editor aliases :  MMTreeco
MMTreeco(T)  ==
    corec(X.lbl:Atom  \mtimes{}  if  lbl  =a  "Leaf"  then  T
                                          if  lbl  =a  "Node"  then  X  List  List
                                          else  Void
                                          fi  )


Date html generated: 2015_07_17-AM-07_46_37
Last ObjectModification: 2014_05_06-PM-02_40_50

Home Index