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