Module type Linear.AbelianGroup

module type AbelianGroup = sig .. end

type t 

val equal : t -> t -> bool

val add : t -> t -> t

val negate : t -> t

val zero : t