Module Goblint_lib.Vector

module type Vector = sig ... end

High-level abstraction of a vector.

val timing_wrap : 'a -> ('b -> 'c) -> 'd -> 'e