Module Algebra.Presentation.A

module A: Algebra.Free(K)(M)

include struct ... end

module Field: K

val one : t

val mul_monomial : t -> M.t -> t

val mul : t -> t -> t

val leading : (M.t -> M.t -> bool) -> t -> K.t * M.t