goblint.lib
Value.Impl
goblint.sites
goblint_sites_dune
goblint_sites_js
type s
val name : string
val var_state : s
val string_of_state : s -> string
val compare : s -> s -> int