-
Notifications
You must be signed in to change notification settings - Fork 11
/
doOut.mli
50 lines (41 loc) · 1.63 KB
/
doOut.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
val verbose : int ref
module type Config = sig
val small_length : int
end
module type S = sig
type t
val create_buff : unit -> t
val create_chan : out_channel -> t
val create_null : unit -> t
val is_null : t -> bool
val is_empty : t -> bool
val reset : t -> unit
val put : t -> string -> unit
val blit : t -> Lexing.lexbuf -> unit
val put_char : t -> char -> unit
val flush : t -> unit
val get_pos : t -> int
val erase_start : int -> t -> unit
val iter : (char -> unit) -> t -> unit
val iter_next : (char -> (unit -> int) -> unit) -> t -> unit
val to_string : t -> string
val to_list : t -> string list
val to_chan : out_channel -> t -> unit
val copy : t -> t -> unit
val copy_fun : (string -> string) -> t -> t -> unit
val copy_no_tag : t -> t -> unit
val close : t -> unit
val debug : out_channel -> t -> unit
val unskip : t -> unit
end
module Make(C:Config) : S