Functor Algebra.Presentation.Algebra

module Algebra: functor (P : sig

val presentation : t

end) -> sig .. end

Algebra given by a convergent presentation.

Parameters:

P : sig val presentation : t end

include A

val mul : Algebra.Presentation.t -> Algebra.Presentation.t -> Algebra.Presentation.A.t