Doctree.Rewire
type ('a, 'h) action =
| Rec of 'a
| Skip
| Heading of 'h * int
val walk : classify:('a -> ('a list, 'b) action) -> node:('b -> 'c list -> 'c) -> 'a list -> 'c list