Module Algebra.Presentation.Anick.MF

module MF: Matrix.Functor(Algebra.Presentation.A)(K)

module M: Matrix.Make(R)

module M': Matrix.Make(R')

val map : (R.t -> R'.t) -> M.t -> M'.t

module Labeled: 
functor (X : Alphabet.T) -> 
functor (X' : Alphabet.T) -> sig .. end