goblint.lib
Make.M
goblint.sites
goblint_sites_dune
goblint_sites_js
type t
type result
val eval : t -> result