Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
and wpt = {
lat : latitude;
lon : longitude;
time : date_time option;
ele : float option;
magvar : degrees option;
geoidheight : float option;
name : string option;
cmt : string option;
desc : string option;
src : string option;
link : link list;
sym : string option;
typ : string option;
fix : fix option;
sat : int option;
vdop : float option;
hdop : float option;
pdop : float option;
ageofdgpsdata : float option;
dgpsid : dgps_station option;
extensions : extension option;
}
and extension = Xml.xml
and date_time = {
year : int;
month : int;
day : int;
hour : int;
minute : int;
second : float;
timezone : timezone option;
}