-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathgeo.mli
51 lines (43 loc) · 1.16 KB
/
geo.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
(**
Geographical data.
This module handles coordinates in WGS84 nad projects them in UTM zone 31N, computes distances and directions and contains some useful points in Paris.
*)
(**
Latitude and Longitude in decimal degrees - WGS84
*)
module rec Wgs : sig
type t
val srid : int
val make : float -> float -> t
val distance : t -> t -> float
val destination : t -> float -> float -> t
val of_xy : Utm.t -> t
val tuple : t -> float * float
val string_of : t -> string
end
(**
Universal Trasversal Mercartor projection for UTM zone 31N (France)
*)
and Utm : sig
type t
val srid : int
val make : float -> float -> t
val distance : t -> t -> float
val destination : t -> float -> float -> t
val of_latlon : Wgs.t -> t
val tuple : t -> float * float
val string_of : t -> string
end
val intra_distances : ('a -> 'a -> float) -> 'a list -> float list
type box = Central of Utm.t * float
val paris1 : Wgs.t
val paris2 : Wgs.t
val paris : Wgs.t
val paris_nw : Wgs.t
val paris_outer_nw : Wgs.t
val defense : Wgs.t
val champs : Wgs.t
val halles : Wgs.t
val boulogne : Wgs.t
val rio : Wgs.t
val beijing_uni : Wgs.t