-
Notifications
You must be signed in to change notification settings - Fork 33
Expand file tree
/
Copy pathpdftree.mli
More file actions
19 lines (13 loc) · 827 Bytes
/
pdftree.mli
File metadata and controls
19 lines (13 loc) · 827 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(** Name and Number Trees *)
(** NB. Subject to API changes. *)
(** Read a name tree as a flat (key, value) list. *)
val read_name_tree : Pdf.t -> Pdf.pdfobject -> (string * Pdf.pdfobject) list
(** Read a number tree as a flat (key, value) list but with the numbers as strings. *)
val read_number_tree : Pdf.t -> Pdf.pdfobject -> (string * Pdf.pdfobject) list
(** Build a name or number tree (bool: true if number, false otherwise) from
flat (key, value) list. *)
val build_name_tree : bool -> Pdf.t -> (string * Pdf.pdfobject) list -> Pdf.pdfobject
(** Merge name trees, assuming no duplicate keys. *)
val merge_name_trees_no_clash : Pdf.t -> Pdf.pdfobject list -> Pdf.pdfobject
(** Merge number trees, assuming no duplicate keys. *)
val merge_number_trees_no_clash : Pdf.t -> Pdf.pdfobject list -> Pdf.pdfobject