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