goblint-cil
MakeSetPrinter.Set
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
type elt
type t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a