goblint.lib
Print.M
goblint.sites
goblint.timing
goblint_sites_dune
goblint_sites_js
type t
type key = D.t
type value = R.t
val bindings : t -> (key * value) list
val iter : (key -> value -> unit) -> t -> unit