Functor Matrix.Functor.Labeled

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

module L: Matrix.Functor.M.Labeled(X)

module L': Matrix.Functor.M'.Labeled(X')

val map : (X.t -> X'.t) ->
       (X.t -> X'.t) ->
       (R.t -> R'.t) -> L.t -> L'.t