Def true == inl()

is mentioned by

Def is_leaf(t) == Case(t) Case tree_leaf(l) => true Default => false

[is_leaf]

In prior sections: bool 1 sqequal 1 prog 1

Try larger context: MarkB generic IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html