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