Shift (odoc.Odoc_document.Doctree.Shift)

type state = {

englobing_level : int;
current_level : int;

}

val start : state

val shift : state -> int -> state * int

val enter : state -> int -> state

val walk_documentedsrc : 
  on_sub:
    ([> `Include of Odoc_document.Types.Include.t
     | `Page of Odoc_document.Types.Subpage.t ] ->
      int option) ->
  state ->
  Odoc_document.Types.DocumentedSrc.t ->
  Odoc_document.Types.DocumentedSrc.t

val subpage : 
  on_sub:
    ([> `Include of Odoc_document.Types.Include.t
     | `Page of Odoc_document.Types.Subpage.t ] ->
      int option) ->
  state ->
  Odoc_document.Types.Subpage.t ->
  Odoc_document.Types.Subpage.t

val include_ : 
  on_sub:
    ([> `Include of Odoc_document.Types.Include.t
     | `Page of Odoc_document.Types.Subpage.t ] ->
      int option) ->
  state ->
  Odoc_document.Types.Include.t ->
  Odoc_document.Types.Include.t

val walk_item : 
  on_sub:
    ([> `Include of Odoc_document.Types.Include.t
     | `Page of Odoc_document.Types.Subpage.t ] ->
      int option) ->
  state ->
  Odoc_document.Types.Item.t list ->
  Odoc_document.Types.Item.t list

val compute : 
  on_sub:
    ([> `Include of Odoc_document.Types.Include.t
     | `Page of Odoc_document.Types.Subpage.t ] ->
      int option) ->
  Odoc_document.Types.Item.t list ->
  Odoc_document.Types.Item.t list