goblint.lib
MyCheck.Shrink
goblint.sites
goblint_sites_dune
goblint_sites_js
val sequence : 'a QCheck.Shrink.t list -> 'a list -> 'a list QCheck.Iter.t