graph
1
3
Sections
Graphs
Doc
Def
rev(as) == Case of as; nil
nil ; a.as'
rev(as') @ [a] (recursive)
is mentioned
In prior sections:
list
1
graph
1
1
Try larger context:
Graphs
graph
1
3
Sections
Graphs
Doc