use gadts for event, clean repo

2022-04-08 22:43:31 +02:00 · 2022-04-08 22:43:31 +02:00 · 9e66f26b71
commit 9e66f26b71
parent 6e1ac0d96d
8 changed files with 118 additions and 126 deletions
--- a/src/dune
+++ b/src/dune
@ -1,7 +1,15 @@
 (library
- (name leaflet)
 (public_name leaflet)
- (modules ev latlng geojson_layer tile_layer popup marker map global layer)
- (libraries brr js_of_ocaml)
+ (modules
+  event
+  geojson_layer
+  global
+  latlng
+  layer
+  map
+  marker
+  popup
+  tile_layer)
+ (libraries brr)
 (js_of_ocaml
  (javascript_files leaflet.js)))