Up
–
Index
»
frama-c
»
Fclib
» Linear
Module
Fclib.Linear
Definition of a linear space over a field.
module
Space
(
Field
:
Field.S
) :
sig
...
end