Module Goblint_lib.SparseVector

module type SparseVector = sig ... end
module type SparseVectorFunctor = functor (A : RatOps.RatOps) -> sig ... end