aboutsummaryrefslogtreecommitdiff
path: root/tools/utils.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-09 11:35:02 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-09 11:35:02 +0100
commitc734c1b30fd1c58a0d42020859be31d89b92bcd0 (patch)
treec5a8e7e04347122f759d651f63e042b73e4b9f5b /tools/utils.mli
parent32618a5ce8e2b306af102e4c16711b090c36b840 (diff)
Moved tools library inside the shapes one
Diffstat (limited to 'tools/utils.mli')
-rwxr-xr-xtools/utils.mli21
1 files changed, 0 insertions, 21 deletions
diff --git a/tools/utils.mli b/tools/utils.mli
deleted file mode 100755
index 4e12906..0000000
--- a/tools/utils.mli
+++ /dev/null
@@ -1,21 +0,0 @@
-(** Return a normalize angle *)
-val norm_angle
- : Gg.v2 -> float
-
-(** return the interesction for two segments *)
-val intersection
- : (Gg.v2 * Gg.v2) -> (Gg.v2 * Gg.v2) -> Gg.v2 option
-
-(** Return the center of the cercle for three points
- None if the point cannot be evaluated
-*)
-val center
- : Gg.v2 -> Gg.v2 -> Gg.v2 -> Gg.v2 option
-
-(** Rotate the vector by the given angle *)
-val rotate
- : Gg.v2 -> float -> Gg.v2
-
-(** Test equality between two points *)
-val equal_point
- : float -> Gg.v2 -> Gg.v2 -> bool