Module Goblint_lib.ArrayVector

module type ArrayVector = sig ... end
module type ArrayVectorFunctor = functor (A : RatOps.RatOps) -> sig ... end

Array-based vector implementation.