Up
–
goblint
»
Goblint_lib
» Matrix
Module
Goblint_lib.Matrix
module
type
Matrix
=
sig
...
end
High-level abstraction of a matrix.