module Free: functor (K : Field.T) -> functor (M : Monoid.T) -> sig .. end
functor (
K
:
Field.T
) ->
M
Monoid.T
sig
end
Free algebra of a monoid over a ring.
include struct ... end
module Field: K
val one : t
t
val mul_monomial : t -> M.t -> t
t -> M.t -> t
val mul : t -> t -> t
t -> t -> t
val leading : (M.t -> M.t -> bool) -> t -> K.t * M.t
(M.t -> M.t -> bool) -> t -> K.t * M.t