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