otherlibs/labltk/support/support.mli


1
2
3
4
5
6
7
8
9
10
11

(* Extensible buffers *)
type extensible_buffer
val new_buffer : unit -> extensible_buffer
val   print_in_buffer : extensible_buffer -> string -> unit
val   get_buffer : extensible_buffer -> string


val catenate_sep : string -> string list -> string
val split_str : (char -> bool) -> string -> string list
      (* Various string manipulations *)