File: cutOut.mli

package info (click to toggle)
hevea 2.32-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,692 kB
  • sloc: ml: 19,109; sh: 493; makefile: 301; ansic: 132
file content (34 lines) | stat: -rw-r--r-- 1,241 bytes parent folder | download | duplicates (6)
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
(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet MOSCOVA, INRIA Rocquencourt                   *)
(*                                                                     *)
(*  Copyright 2006 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

module type Config = sig
  val small_length : int
end

module Make(C:Config) : sig
type t

  val get_name : t -> string

  val create_buff : string -> t
  val create_null : unit -> t
  val create_chan : string -> t
  val close : t -> unit

  val put : t -> string -> unit
  val put_char : t -> char -> unit
  val is_empty : t -> bool
  val to_string : t -> string
  val to_chan : out_channel -> t -> unit
  val copy : t -> t -> unit
  val flush : t -> unit
  val debug : out_channel -> t -> unit
end