1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* For text-level elements *)
type text =
Style of string
| Font of int
| Color of string
| StyleAttr of string * string
let pretty_text = function
Style s -> "Style: "^s
| Font i -> "Font size: "^string_of_int i
| Color s -> "Font color: "^s
| StyleAttr (t,a) -> "Style with attributes: "^t^" ["^a^"]"
;;
|
