blob: 01f12dca8b88c382a0340fdbc213c3da3bdba26c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
type t =
| Path of int
| Point of (int * Path.Point.t)
(** Return the closest path from the list to a given point.
The path is returned with all thoses informations :
- The point in the path
- The path itself
- The starting point from the path
- The end point in the path
*)
val get_from_paths
: (float * float) -> Path.Fixed.t list -> float * (Gg.v2 * Path.Fixed.t * Path.Point.t * Path.Point.t) option
val select_path
: Path.Fixed.t -> t
val select_point
: Path.Fixed.t -> Gg.v2 -> t
|
