package abstract_algebra

  1. Overview
  2. Docs

Module type Commutative_group.SSource

Sourcetype t
include Sexplib0.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
include Without_sexp with type t := t
Sourceval zero : t
Sourceval (+) : t -> t -> t
Sourceval (-) : t -> t -> t