Nuprl Definition : sdata-atoms
sdata-atoms(d) == tree_ind(d; tree_leaf(x)⇒ if ¬bisl(x) then [outr(x)] else [] fi ; tree_node(x,y)⇒ as,bs.as @ bs)
Definitions occuring in Statement :
append: as @ bs,
cons: [a / b],
nil: [],
outr: outr(x),
bnot: ¬bb,
ifthenelse: if b then t else f fi ,
isl: isl(x),
tree_ind: tree_ind
FDL editor aliases :
sdata-atoms
Latex:
sdata-atoms(d) ==
tree\_ind(d;
tree\_leaf(x){}\mRightarrow{} if \mneg{}\msubb{}isl(x) then [outr(x)] else [] fi ;
tree\_node(x,y){}\mRightarrow{} as,bs.as @ bs)
Date html generated:
2015_07_23-PM-00_01_15
Last ObjectModification:
2014_05_05-AM-00_00_04
Home
Index