package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.ArrayVector`

module type ArrayVector = sig ... end

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

module ArrayVector : ArrayVectorFunctor

Array-based vector implementation.