Functor Matrix.Functor

module Functor: 
functor (R : Ring.T) -> 
functor (R' : Ring.T) -> sig .. end

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