12345678910111213141516171819(** Unix API for GPX operations *)moduleIO=Gpx_ioopenGpx(** Convenience functions for common operations *)(** Read and parse GPX file *)letread=IO.read_file(** Write GPX to file *)letwrite=IO.write_file(** Write GPX to file with backup *)letwrite_with_backup=IO.write_file_with_backup(** Pretty print GPX statistics *)letprint_statsgpx=Format.printf"%a@."Doc.pp_statsgpx