Module Goblint_lib.Matrix

module type Matrix = sig ... end

High-level abstraction of a matrix.