Gpx.ExtensionSourceThe Extension module provides support for custom XML elements that extend the standard GPX format. Extensions allow applications to embed additional data while maintaining compatibility with standard GPX readers.
Extension mechanism for custom GPX elements
type t = {namespace : string option;Optional XML namespace
*)name : string;Element name
*)attributes : (string * string) list;Element attributes
*)content : content;Element content
*)}Main extension type
Content types for extensions
val make :
?namespace:string ->
name:string ->
attributes:(string * string) list ->
content:content ->
unit ->
tCreate extension with flexible content
val make_text :
name:string ->
?namespace:string ->
?attributes:(string * string) list ->
string ->
tCreate an extension with text content
val make_elements :
name:string ->
?namespace:string ->
?attributes:(string * string) list ->
t list ->
tCreate an extension with element content
val make_mixed :
name:string ->
?namespace:string ->
?attributes:(string * string) list ->
string ->
t list ->
tCreate an extension with mixed content
Pretty print extension