sig
  type 'a sequence = ('-> unit) -> unit
  type 'a gen = unit -> 'a option
  type 'a klist = unit -> [ `Cons of 'a * 'CCKTree.klist | `Nil ]
  type 'a printer = Buffer.t -> '-> unit
  type 'a formatter = Format.formatter -> '-> unit
  type 'a t = unit -> [ `Nil | `Node of 'a * 'CCKTree.t list ]
  val empty : 'CCKTree.t
  val is_empty : 'CCKTree.t -> bool
  val singleton : '-> 'CCKTree.t
  val node : '-> 'CCKTree.t list -> 'CCKTree.t
  val node1 : '-> 'CCKTree.t -> 'CCKTree.t
  val node2 : '-> 'CCKTree.t -> 'CCKTree.t -> 'CCKTree.t
  val fold : ('-> '-> 'a) -> '-> 'CCKTree.t -> 'a
  val iter : ('-> unit) -> 'CCKTree.t -> unit
  val size : 'CCKTree.t -> int
  val height : 'CCKTree.t -> int
  val map : ('-> 'b) -> 'CCKTree.t -> 'CCKTree.t
  val ( >|= ) : 'CCKTree.t -> ('-> 'b) -> 'CCKTree.t
  val cut_depth : int -> 'CCKTree.t -> 'CCKTree.t
  class type ['a] pset =
    object method add : '-> 'CCKTree.pset method mem : '-> bool end
  val set_of_cmp : ?cmp:('-> '-> int) -> unit -> 'CCKTree.pset
  val dfs :
    ?pset:'CCKTree.pset ->
    'CCKTree.t -> [ `Enter of '| `Exit of 'a ] CCKTree.klist
  val bfs : ?pset:'CCKTree.pset -> 'CCKTree.t -> 'CCKTree.klist
  val force : 'CCKTree.t -> ([ `Nil | `Node of 'a * 'b list ] as 'b)
  val find :
    ?pset:'CCKTree.pset -> ('-> 'b option) -> 'CCKTree.t -> 'b option
  val print : 'CCKTree.formatter -> 'CCKTree.t CCKTree.formatter
  module Dot :
    sig
      type attribute =
          [ `Color of string
          | `Id of string
          | `Label of string
          | `Other of string * string
          | `Shape of string
          | `Style of string
          | `Weight of int ]
      type graph = string * CCKTree.Dot.attribute list CCKTree.t list
      val mk_id :
        ('a, Buffer.t, unit, CCKTree.Dot.attribute) Pervasives.format4 -> 'a
      val mk_label :
        ('a, Buffer.t, unit, CCKTree.Dot.attribute) Pervasives.format4 -> 'a
      val make :
        name:string ->
        CCKTree.Dot.attribute list CCKTree.t list -> CCKTree.Dot.graph
      val singleton :
        name:string ->
        CCKTree.Dot.attribute list CCKTree.t -> CCKTree.Dot.graph
      val pp : CCKTree.Dot.graph CCKTree.printer
      val pp_single :
        string -> CCKTree.Dot.attribute list CCKTree.t CCKTree.printer
      val print : CCKTree.Dot.graph CCKTree.formatter
      val print_to_file : string -> CCKTree.Dot.graph -> unit
      val to_file :
        ?name:string ->
        string -> CCKTree.Dot.attribute list CCKTree.t list -> unit
    end
end