You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Make.Linear
The linear space in which the systems are defined.
type scalar = K.scalar
type ('n, 'm) matrix
type 'n vector = ('n, Nat.zero Nat.succ) matrix
module Vector : sig ... end
module Matrix : sig ... end