fix Point_to_layer

This commit is contained in:
Swrup 2022-06-20 11:04:44 +02:00
parent 85e6ad34c6
commit 8579b9aeed
2 changed files with 5 additions and 3 deletions

View file

@ -52,7 +52,7 @@ val on : 'a Event.sub -> ('a Event.t -> 'b) -> 'c t -> unit
(** type for geojson option, used to create geojson *)
type geojson_opt =
| Point_to_layer of (Jv.t -> Latlng.t -> unit)
| Point_to_layer of (Jv.t -> Latlng.t -> [ `Marker ] t)
| Style of (Jv.t -> unit)
| On_each_feature of (Jv.t -> [ `Geojson ] t -> unit)
| Filter of (Jv.t -> bool)