Up
–
bastet
»
Bastet
»
Test
»
Make
»
Commutative_Ring
»
V
» I
Module
V.I
val
(|+|) :
C.t
->
C.t
->
C.t
val
(|*|) :
C.t
->
C.t
->
C.t
val
(|-|) :
C.t
->
C.t
->
C.t