(** Chop *)

(** Chop *)
val chop : x:int -> y:int -> Pdf.t -> int list -> Pdf.t