Sites
val lib : Dune_site.Private_.Helpers.Location.t list
val plugins : Dune_site.Private_.Helpers.Location.t list
val plugins_gui : Dune_site.Private_.Helpers.Location.t list
val share : Dune_site.Private_.Helpers.Location.t list
Frama-C