Module Additive.Quasigroup

type t = Int.Additive.Quasigroup.t option
val append : t -> t -> t