goblint.lib
HashCached.LazyHash
goblint.sites
goblint_sites_dune
goblint_sites_js
type t
val make : M.t -> t
val force : t -> int