sig
  type t = Algebra.Presentation.A.t -> K.t
  exception Invalid
  val make :
    Algebra.Presentation.Augmentation.t ->
    (Algebra.Presentation.M.t -> K.t) -> Algebra.Presentation.Augmentation.t
  val graded :
    Algebra.Presentation.Augmentation.t ->
    Algebra.Presentation.Augmentation.t
  val monoid :
    Algebra.Presentation.Augmentation.t ->
    Algebra.Presentation.Augmentation.t
end