Module Wiki_widgets_interface.​Ancestors

module Ancestors : sig..end

type ancestors = Wiki_types.wikibox list
val in_ancestors : 
  Wiki_types.wikibox ->
  ancestors -> bool
val no_ancestors : ancestors
val add_ancestor : 
  Wiki_types.wikibox ->
  ancestors -> Wiki_types.wikibox list