2021-11-18 20:09:09 +01:00
|
|
|
type text = int list
|
|
|
|
|
|
|
|
|
|
type glue =
|
|
|
|
|
{glen : float;
|
|
|
|
|
stretch : float}
|
|
|
|
|
|
2021-11-18 23:48:25 +01:00
|
|
|
type element =
|
2021-11-18 20:09:09 +01:00
|
|
|
Text of text
|
|
|
|
|
| HGlue of glue
|
|
|
|
|
| VGlue of glue
|
|
|
|
|
| NewLine
|
|
|
|
|
| NewPage
|
2021-11-18 23:48:25 +01:00
|
|
|
| Font of Pdftext.font * float
|
2021-11-18 20:09:09 +01:00
|
|
|
|
2021-11-18 23:48:25 +01:00
|
|
|
type t = element list
|
2021-11-16 02:42:17 +01:00
|
|
|
|
2021-11-18 23:48:25 +01:00
|
|
|
val typeset : float -> float -> float -> float -> Pdfpaper.t -> Pdf.t -> t -> Pdfpage.t list
|
