sig
type t
val equal : Linear.AbelianGroup.t -> Linear.AbelianGroup.t -> bool
val add :
Linear.AbelianGroup.t -> Linear.AbelianGroup.t -> Linear.AbelianGroup.t
val negate : Linear.AbelianGroup.t -> Linear.AbelianGroup.t
val zero : Linear.AbelianGroup.t
end