2024-06-27 14:36:05 +02:00
|
|
|
(** Print trees *)
|
|
|
|
|
2024-07-24 16:05:02 +02:00
|
|
|
(** Print a tree to a buffer. *)
|
2024-06-27 14:36:05 +02:00
|
|
|
val to_buffer : ?line_prefix: string -> get_name: ('a -> string) -> get_children: ('a -> 'a list) -> Buffer.t -> 'a -> unit
|
|
|
|
|
2024-07-24 16:05:02 +02:00
|
|
|
(** Print a tree to a string. *)
|
2024-06-27 14:36:05 +02:00
|
|
|
val to_string : ?line_prefix: string -> get_name: ('a -> string) -> get_children: ('a -> 'a list) -> 'a -> string
|