goblint.lib
Goblint_lib.GobOption
goblint.sites
goblint_sites_dune
goblint_sites_js
val exists : ('a -> bool) -> 'a option -> bool
val for_all : ('a -> bool) -> 'a option -> bool