diff options
| author | Joris | 2020-08-09 14:44:02 +0200 |
|---|---|---|
| committer | Joris | 2020-08-09 14:44:02 +0200 |
| commit | 225068497c5fd41da12030a6bbf58a0fc9c294d0 (patch) | |
| tree | a2432c1c8004a3e5897a4a9b445e256a3ca6c651 /src/Lib/Leaflet.ml | |
| parent | ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 (diff) | |
Import from CSV
Diffstat (limited to 'src/Lib/Leaflet.ml')
| -rw-r--r-- | src/Lib/Leaflet.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Lib/Leaflet.ml b/src/Lib/Leaflet.ml index 0cc7976..282b5b0 100644 --- a/src/Lib/Leaflet.ml +++ b/src/Lib/Leaflet.ml @@ -1,6 +1,10 @@ type layer -external map : string -> layer = "map" +type map_options = + { attributionControl : bool + } + +external map : string -> map_options -> layer = "map" [@@bs.val] [@@bs.scope "L"] external setView : layer -> float array -> int -> unit = "setView" |