Module Mlpost__Dvi
Low-level DVI interface
type preamble
=
{
pre_version : int;
pre_num : int32;
pre_den : int32;
pre_mag : int32;
pre_text : string;
}
The DVI preamble
type postamble
=
{
last_page : int32;
post_num : int32;
post_den : int32;
post_mag : int32;
post_height : int32;
post_width : int32;
post_stack : int;
post_pages : int;
}
The DVI postamble
type command
=
The type of commands. All coordinates in this type are relative to the current state of the DVI document.
type page
=
{
counters : int32 array;
previous : int32;
commands : command list;
}
A page is a list of commands
type fontmap
= Mlpost__.Dvi_util.font_def Mlpost__.Dvi_util.Int32Map.t
type t
=
{
preamble : preamble;
pages : page list;
postamble : postamble;
postpostamble : postpostamble;
font_map : fontmap;
}
A document is a list of pages, plus a preamble, postamble, postpostamble and font map
val get_conv : t -> float
a few accessor functions
val fontmap : t -> fontmap
val commands : page -> command list
val pages : t -> page list
val read_file : string -> t
val get_height_cm : t -> float
val get_width_cm : t -> float
type preamble_vf
=
{
pre_vf_version : int;
pre_vf_text : string;
pre_vf_cs : int32;
pre_vf_ds : float;
}
type char_desc
=
{
char_code : int32;
char_tfm : int32;
char_commands : command list;
}
type vf
=
{
vf_preamble : preamble_vf;
vf_font_map : fontmap;
vf_chars_desc : char_desc list;
}
module Incremental : sig ... end
module Print : sig ... end