added SFSensor.mli

fccm · Aug 28, 2019 · 92c47b3 · 92c47b3
1 parent 5f1a6ab
commit 92c47b3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/SFSensor.mli b/src/SFSensor.mli
@@ -0,0 +1,7 @@
+type sensor_type =
+  | Accelerometer
+  | Gyroscope
+  | Magnetometer
+  | Gravity
+  | UserAcceleration
+  | Orientation