kumikode/leaflet
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

use gadts for layer, clean code

Browse source
This commit is contained in:
pena 2022-04-09 22:21:22 +02:00 • committed by Swrup
parent 9e66f26b71
commit 9db5cdfd22
17 changed files with 152 additions and 163 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/popup.mli
View file

@ -8,4 +8,4 @@ val open_on : Map.t -> unit
val close : Map.t -> unit
val of_jv_t : Jv.t -> t
val of_jv : Jv.t -> t