Up
–
Index
»
alt-ergo-lib
»
AltErgoLib
» Polynome_intf
Module
AltErgoLib.Polynome_intf
module
type
T
=
sig
...
end
module
type
EXTENDED_Polynome
=
sig
...
end