goblint.lib
Print.S
goblint.sites
goblint.timing
goblint_sites_dune
goblint_sites_js
type t
type elt = E.t
val elements : t -> elt list
val iter : (elt -> unit) -> t -> unit