Module Mlpost__.Dviinterp
type color
=
|
RGB of float * float * float
|
CMYK of float * float * float * float
|
HSB of float * float * float
|
Gray of float
The type of colors in a DVI file
type info
=
{
color : color;
}
The info type
type env_info
type text
=
{
tex_font : Mlpost__.Fonts.t;
tex_string : Stdlib.Int32.t list;
tex_pos : float * float;
tex_info : info;
tex_env : env_info;
}
type text_type1
=
{
c_glyph : Stdlib.Int32.t;
c_font : Mlpost__.Fonts.type1;
c_pos : float * float;
c_info : info;
}
type command
=
|
Fill_rect of info * float * float * float * float
Fill_rect info x y w h
should draw a rectangle at(x,y)
of widthw
and heighth
.|
Draw_text of text
|
Specials of info * string * float * float
Specials info s x y
should draw specials
, encoded as a string, at pos.(x,y)
.info
can contain additional information such as color.|
Draw_text_type1 of text_type1
Can appear only after a decomposition of text
type page
= command list
val load_file : Mlpost.File.t -> page list
load_file arg fn
loads the dvi document in filefn
, passesarg
and the loaded document toDev
.new_document and calls the drawing functions ofDev
as needed. At the end, the return value of the device is returned. The command list are in reverse order inside a page
module Incremental : sig ... end
module Print : sig ... end