Goblint_lib.Vector
module type Vector = sig ... end
High-level abstraction of a vector.
val timing_wrap : 'a -> ('b -> 'c) -> 'd -> 'e