File: buff.mli

package info (click to toggle)
hevea 1.10-5
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 2,052 kB
  • ctags: 2,379
  • sloc: ml: 19,637; sh: 308; makefile: 224
file content (18 lines) | stat: -rw-r--r-- 958 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet Moscova, INRIA Rocquencourt                   *)
(*                                                                     *)
(*  Copyright 2001 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(*  $Id: buff.mli,v 1.4 2001/05/28 17:28:55 maranget Exp $             *)
(***********************************************************************)
type t

val create : unit -> t
val put_char : t -> char -> unit
val put : t -> string -> unit
val to_string : t -> string
val reset : t -> unit