Pdfdesttype t = | Action of Pdf.pdfobject| NullDestination| NamedDestinationElsewhere of string| XYZ of targetpage * float option * float option * float option| Fit of targetpage| FitH of targetpage * float option| FitV of targetpage * float option| FitR of targetpage * float * float * float * float| FitB of targetpage| FitBH of targetpage * float option| FitBV of targetpage * float optionval read_targetpage : Pdf.pdfobject -> targetpageval read_destination_error : string -> string -> tval read_destination : Pdf.t -> Pdf.pdfobject -> tval pdf_of_targetpage : targetpage -> Pdf.pdfobjectval pos_null : float option -> Pdf.pdfobjectval pdfobject_of_destination : t -> Pdf.pdfobjectval transform_destination : Pdftransform.transform_matrix -> t -> t