File: compunit.mli

package info (click to toggle)
cduce 0.4.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 2,836 kB
  • ctags: 3,143
  • sloc: ml: 20,402; xml: 5,376; makefile: 411; sh: 45
file content (28 lines) | stat: -rw-r--r-- 737 bytes parent folder | download
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
(**************************************************************************)
(*  The CDuce compiler                                                    *)
(*  Alain Frisch <Alain.Frisch@inria.fr> and the CDuce team               *)
(*  Copyright CNRS,INRIA, 2003,2004,2005,2006 (see LICENSE for details)   *)
(**************************************************************************)

type t

val compare: t -> t -> int
val hash: t -> int
val equal: t -> t -> bool

val pervasives: t

val enter: unit -> unit
val current: unit -> t
val leave: unit -> unit

val set_hash: t -> int -> int -> unit
val get_hash: t -> int * int


val wrap: ('a -> 'b) -> ('a -> 'b)


(* Detect collision of descriptors *)

val register: t -> string -> unit