-
Notifications
You must be signed in to change notification settings - Fork 11
/
color.mli
27 lines (22 loc) · 1.09 KB
/
color.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
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(*
"$Id: color.mli,v 1.6 2005-03-08 15:15:03 maranget Exp $"
*)
type t = Name of string | Hex of string
val compute : string -> string -> t
val define : string -> string -> string -> unit
val define_named : string -> string -> string -> unit
val retrieve : string -> t
val remove : string -> unit
type saved
val checkpoint : unit -> saved
val hot_start : saved -> unit