blob: 984eae6e1f898bdd7d49c690bf3c3794d11132b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
type t =
| Path of int
| Point of (int * Path.Point.t)
val threshold : float
(** 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) -> Outline.t list -> float * (Gg.v2 * Outline.t * Path.Point.t * Path.Point.t) option
val select_path
: Outline.t -> t
val select_point
: Outline.t -> Gg.v2 -> t
|