-
Notifications
You must be signed in to change notification settings - Fork 12
/
Copy pathelement.mli
18 lines (16 loc) · 876 Bytes
/
element.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
type text =
| Style of string
| Font of int
| Color of string
| StyleAttr of string * string
val pretty_text : text -> string