Goblint_lib.ArrayVector
module type ArrayVector = sig ... end
module type ArrayVectorFunctor = functor (A : RatOps.RatOps) -> sig ... end
module ArrayVector : ArrayVectorFunctor
Array-based vector implementation.