~ubuntu-branches/ubuntu/gutsy/hevea/gutsy

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet Moscova, INRIA Rocquencourt                   *)
(*                                                                     *)
(*  Copyright 2001 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(*  $Id: length.mli,v 1.7 2004-05-27 14:25:43 maranget Exp $           *)
(***********************************************************************)
val font : int

type t = Char of int | Pixel of int | Percent of int | No of string | Default
val pretty : t -> string
val is_zero : t -> bool

val font : int
val pixel_to_char : int -> int
val char_to_pixel : int -> int
val main: Lexing.lexbuf -> t