module Pdfpagelabels:sig..end
type labelstyle =
| |
DecimalArabic |
| |
UppercaseRoman |
| |
LowercaseRoman |
| |
UppercaseLetters |
| |
LowercaseLetters |
| |
NoLabelPrefixOnly |
ts where the startpage values are in increasing numerical
order. In the most basic case, startvalue will always be equal to
startpage. The default labelstyle is DecimalArabic. The default
labelprefix is the empty string.
For example, a document might have five pages of introduction with roman numerals, followed by the rest of the pages in decimal arabic, numbered from one.
For more details, see ISO 32000 12.4.2, but note that in our implementation,
pages are 1-based.
type t = {
|
labelstyle : |
|
labelprefix : |
|
startpage : |
|
startvalue : |
val string_of_pagelabel : t -> stringval read : Pdf.t -> t listval complete : t list -> t listval pagelabel_of_pagenumber : int -> t list -> tNot_found if no label.val pagelabeltext_of_pagenumber : int -> t list -> stringNot_found if no label.val add_label : int -> t list -> t -> int -> t listval coalesce : t list -> t listval merge_pagelabels : Pdf.t list -> int list list -> t listval write : Pdf.t -> t list -> unitval remove : Pdf.t -> unit