Functor Monoid.Presentation.Make

module Make: functor (P : sig

val presentation : t

end) -> sig .. end

Make a monoid from a convergent presentation.

Parameters:

P : sig val presentation : t end

val p : Monoid.Presentation.t

val nf : Monoid.Presentation.W.t -> Monoid.Presentation.W.t

type t = Monoid.Presentation.W.t

val mul : Monoid.Presentation.W.t -> Monoid.Presentation.W.t -> Monoid.Presentation.W.t

val one : Monoid.Presentation.W.t

val to_string : Monoid.Presentation.W.t -> string

val compare : Monoid.Presentation.W.t -> Monoid.Presentation.W.t -> int

val eq : Monoid.Presentation.W.t -> Monoid.Presentation.W.t -> bool